org.grinvin.conjecture.engine
Class AbstractInequalityEngine
- Engine, HasURI, InequalityEngine
public abstract class AbstractInequalityEngine
getConfigurationPanel
public JPanel getConfigurationPanel(WorksheetModel worksheetModel)
Returns a configuration panel for this engine that can
be shown in the conjecturing window.
- getConfigurationPanel in interface Engine
getMainInvariant
public Invariant getMainInvariant()
isReadyForRun
public boolean isReadyForRun()
Returns true if the engine is properly configured and ready to be runned.
- isReadyForRun in interface Engine
load
public void load(Element element,
WorksheetModel worksheetModel)
Load the settings for this engine from an element.
- load in interface Engine
run
public abstract Expression run(InvariantValue[][] values)
Run the engine for the given invariant values.
- run in interface Engine
values
- Array of invariant values, every row corresponds
to a single graph, every column to a single invariant.
- An expression representing the resulting conjecture.
save
public void save(Element element)
Save the settings for this engine to an element.
- save in interface Engine