org.grinvin.engine

Class APEngine

Implemented Interfaces:
Engine, InequalityEngine

public class APEngine
extends AbstractInequalityEngine

Proof of concept (quick and dirty) implementation of Engine.

As opposed to QDEngine this one is implemented in Java.

Constructor Summary

APEngine()

Method Summary

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

Methods inherited from class org.grinvin.engine.AbstractInequalityEngine

getMainInvariant, run, setMainInvariant

Constructor Details

APEngine

public APEngine()

Method Details

bestEffortTree

public LabeledBinaryTree bestEffortTree(InvariantValue[][] values)

check

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

nextCorrectLabeledTree

public LabeledBinaryTree nextCorrectLabeledTree(InvariantValue[][] values)

run

public String 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:
A string representing the resulting conjecture.