org.grinvin.engine
Class QDEngine
- Engine, InequalityEngine
Proof of concept (quick and dirty) implementation of
Engine
.
Interfaces to a C-program
conj
written by Gunnar Brinkmann. This program must be part of the execution path of
the computer.
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.