org.grinvin.conjecture.engine

Interface Engine

All Superinterfaces:
HasURI
Known Subinterfaces:
InequalityEngine
Known Implementing Classes:
AbstractEngine, AbstractInequalityEngine, APEngine

public interface Engine
extends HasURI

Conjecturing engine.

Method Summary

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.

Methods inherited from interface org.grinvin.list.HasURI

getURI, setURI

Method Details

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.
Parameters:
values - Array of invariant values, every row corresponds to a single graph, every column to a single invariant.
Returns:
An expression representing the resulting conjecture.

save

public void save(Element element)
Save the settings for this engine to an element.