All Packages Class Hierarchy This Package Previous Next Index
Interface ia_solver.SolverGUI
- public interface SolverGUI
-
getConstraints()
-
-
getIntervalStyle()
-
-
getMaxNarrow()
-
-
getVars()
-
-
notifyFailure()
-
-
notifyNarrows(int)
-
-
notifySuccess()
-
-
popStack()
-
-
pushStack()
-
-
setButtonStatus(String)
-
-
setMessageField(String)
-
-
setVarList(String)
-
-
sizeStack()
-
setMessageField
public abstract void setMessageField(String s)
setButtonStatus
public abstract void setButtonStatus(String s)
getMaxNarrow
public abstract Integer getMaxNarrow()
getConstraints
public abstract Exp getConstraints()
getVars
public abstract RealIntervalTable getVars()
getIntervalStyle
public abstract String getIntervalStyle()
setVarList
public abstract void setVarList(String s)
pushStack
public abstract void pushStack()
popStack
public abstract boolean popStack()
sizeStack
public abstract int sizeStack()
notifyNarrows
public abstract void notifyNarrows(int i)
notifyFailure
public abstract void notifyFailure()
notifySuccess
public abstract void notifySuccess()
All Packages Class Hierarchy This Package Previous Next Index