org.grinvin.engine
Class APEngine
- Engine, InequalityEngine
Proof of concept (quick and dirty) implementation of
Engine
.
As
opposed to
QDEngine
this one is implemented in Java.
APEngine
public APEngine()
run
public String run(InvariantValue[][] values)
Run the engine for the given invariant values.
- run in interface Engine
- run in interface AbstractInequalityEngine
values
- Array of invariant values, every row corresponds
to a single graph, every column to a single invariant.
- A string representing the resulting conjecture.