org.grinvin.engine

Class QDEngine

Implemented Interfaces:
Engine, InequalityEngine

public class QDEngine
extends AbstractInequalityEngine

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.

Method Summary

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

Methods inherited from class org.grinvin.engine.AbstractInequalityEngine

getMainInvariant, run, setMainInvariant

Method Details

run

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