org.grinvin.conjecture.engine
Interface Engine
- HasURI
- InequalityEngine
- AbstractEngine, AbstractInequalityEngine, APEngine
Conjecturing engine.
boolean | allows(Invariant invariant) - Can the engine make use of the given invariant?
|
JPanel | getConfigurationPanel(WorksheetModel worksheetModel) - Returns a configuration panel for this engine that can
be shown in the conjecturing window.
|
boolean | isReadyForRun() - Returns true if the engine is properly configured and ready to be runned.
|
void | load(Element element, WorksheetModel worksheetModel) - Load the settings for this engine from an element.
|
Expression | run(InvariantValue[][] values) - Run the engine for the given invariant values.
|
void | save(Element element) - Save the settings for this engine to an element.
|
allows
public boolean allows(Invariant invariant)
Can the engine make use of the given invariant?
getConfigurationPanel
public JPanel getConfigurationPanel(WorksheetModel worksheetModel)
Returns a configuration panel for this engine that can
be shown in the conjecturing window.
isReadyForRun
public boolean isReadyForRun()
Returns true if the engine is properly configured and ready to be runned.
load
public void load(Element element,
WorksheetModel worksheetModel)
Load the settings for this engine from an element.
run
public Expression run(InvariantValue[][] values)
Run the engine for the given invariant values.
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.