Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
public interface Engine
Method Summary | |
String |
|
public String run(InvariantValue[][] values)
Run the engine for the given invariant values.
- Parameters:
values
- Array of invariant values, every row corresponds to a single graph, every column to a single invariant.
- Returns:
- A string representing the resulting conjecture.