org.grinvin.conjecture.engine

Class AbstractInequalityEngine

Implemented Interfaces:
Engine, HasURI, InequalityEngine
Known Direct Subclasses:
APEngine

public abstract class AbstractInequalityEngine
extends AbstractEngine
implements InequalityEngine

Method Summary

boolean
allows(Invariant invariant)
JPanel
getConfigurationPanel(WorksheetModel worksheetModel)
Returns a configuration panel for this engine that can be shown in the conjecturing window.
Invariant
getMainInvariant()
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.
abstract 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.
void
setMainInvariant(Invariant mainInvariant)

Methods inherited from class org.grinvin.conjecture.engine.AbstractEngine

getURI, setURI

Method Details

allows

public boolean allows(Invariant invariant)
Specified by:
allows in interface Engine

getConfigurationPanel

public JPanel getConfigurationPanel(WorksheetModel worksheetModel)
Returns a configuration panel for this engine that can be shown in the conjecturing window.
Specified by:
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.
Specified by:
isReadyForRun in interface Engine

load

public void load(Element element,
                 WorksheetModel worksheetModel)
Load the settings for this engine from an element.
Specified by:
load in interface Engine

run

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

setMainInvariant

public void setMainInvariant(Invariant mainInvariant)
Specified by:
setMainInvariant in interface InequalityEngine