org.grinvin.engine
Class AbstractInequalityEngine
java.lang.Object
org.grinvin.engine.AbstractInequalityEngine
- Engine, InequalityEngine
public abstract class AbstractInequalityEngine
extends java.lang.Object
getMainInvariant
public int getMainInvariant()
run
public abstract String run(InvariantValue[][] values)
Run the engine for the given invariant values.
- run in interface Engine
values
- Array of invariant values, every row corresponds
to a single graph, every column to a single invariant.
- A string representing the resulting conjecture.