org.grinvin.engine

Class AbstractInequalityEngine

Implemented Interfaces:
Engine, InequalityEngine
Known Direct Subclasses:
APEngine, QDEngine

public abstract class AbstractInequalityEngine
extends java.lang.Object
implements InequalityEngine

Method Summary

int
getMainInvariant()
abstract String
run(InvariantValue[][] values)
Run the engine for the given invariant values.
void
setMainInvariant(int index)

Method Details

getMainInvariant

public int getMainInvariant()

run

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

setMainInvariant

public void setMainInvariant(int index)
Specified by:
setMainInvariant in interface InequalityEngine