Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.conjecture.engine.AbstractEngine
org.grinvin.conjecture.engine.AbstractInequalityEngine
org.grinvin.conjecture.engine.APEngine
public class APEngine
extends AbstractInequalityEngine
Engine
.
Note: This class is not thread safe.
Constructor Summary | |
|
Method Summary | |
LabeledBinaryTree |
|
boolean |
|
LabeledBinaryTree |
|
Expression |
|
Methods inherited from class org.grinvin.conjecture.engine.AbstractInequalityEngine | |
allows , getConfigurationPanel , getMainInvariant , isReadyForRun , load , run , save , setMainInvariant |
Methods inherited from class org.grinvin.conjecture.engine.AbstractEngine | |
getURI , setURI |
public LabeledBinaryTree bestEffortTree(InvariantValue[][] values, int indexMainInvariant)
public boolean check(LabeledBinaryTree tree, InvariantValue[][] values, int indexMainInvariant)
public LabeledBinaryTree nextCorrectLabeledTree(InvariantValue[][] values, int indexMainInvariant)
public Expression run(InvariantValue[][] values)
Run the engine for the given invariant values.
- Overrides:
- run in interface AbstractInequalityEngine
- Parameters:
values
- Array of invariant values, every row corresponds to a single graph, every column to a single invariant.
- Returns:
- An expression representing the resulting conjecture.