org.grinvin.conjecture.engine

Interface InequalityEngine

All Superinterfaces:
Engine, HasURI
Known Implementing Classes:
AbstractInequalityEngine, APEngine

public interface InequalityEngine
extends Engine

Method Summary

void
setMainInvariant(Invariant mainInvariant)

Methods inherited from interface org.grinvin.conjecture.engine.Engine

allows, getConfigurationPanel, isReadyForRun, load, run, save

Methods inherited from interface org.grinvin.list.HasURI

getURI, setURI

Method Details

setMainInvariant

public void setMainInvariant(Invariant mainInvariant)