org.grinvin.conjecture.engine

Class APEngine

Implemented Interfaces:
Engine, HasURI, InequalityEngine

public class APEngine
extends AbstractInequalityEngine

Proof of concept implementation of Engine.

Note: This class is not thread safe.

Constructor Summary

APEngine()

Method Summary

LabeledBinaryTree
bestEffortTree(InvariantValue[][] values, int indexMainInvariant)
boolean
check(LabeledBinaryTree tree, InvariantValue[][] values, int indexMainInvariant)
LabeledBinaryTree
nextCorrectLabeledTree(InvariantValue[][] values, int indexMainInvariant)
Expression
run(InvariantValue[][] values)
Run the engine for the given invariant values.

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

Constructor Details

APEngine

public APEngine()

Method Details

bestEffortTree

public LabeledBinaryTree bestEffortTree(InvariantValue[][] values,
                                        int indexMainInvariant)

check

public boolean check(LabeledBinaryTree tree,
                     InvariantValue[][] values,
                     int indexMainInvariant)

nextCorrectLabeledTree

public LabeledBinaryTree nextCorrectLabeledTree(InvariantValue[][] values,
                                                int indexMainInvariant)

run

public Expression run(InvariantValue[][] values)
Run the engine for the given invariant values.
Specified by:
run in interface Engine
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.