org.grinvin.engine

Interface Engine

Known Subinterfaces:
InequalityEngine
Known Implementing Classes:
AbstractInequalityEngine, APEngine, QDEngine

public interface Engine

Conjecturing engine.

Method Summary

String
run(InvariantValue[][] values)
Run the engine for the given invariant values.

Method Details

run

public String run(InvariantValue[][] values)
Run the engine for the given invariant values.
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.