public class FullEngineState extends AbstractEngineState
Constructor and Description |
---|
FullEngineState() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDynTheory() |
java.util.ArrayList<java.lang.String> |
getFlags() |
java.lang.String[] |
getLibraries() |
int |
getNumberAskedResults() |
java.util.LinkedList<Operator> |
getOp() |
Term |
getQuery() |
long |
getSerializationTimestamp() |
boolean |
hasOpenAlternatives() |
void |
setDynTheory(java.lang.String theory) |
void |
setFlags(java.util.ArrayList<java.lang.String> flags) |
void |
setHasOpenAlternatives(boolean hasOpenAlternatives) |
void |
setLibraries(java.lang.String[] libraries) |
void |
setNumberAskedResults(int nResultAsked) |
void |
setOp(java.util.LinkedList<Operator> list) |
void |
setQuery(Term query) |
void |
setSerializationTimestamp(long serializationTimestamp) |
public void setQuery(Term query)
setQuery
in class AbstractEngineState
public Term getQuery()
getQuery
in class AbstractEngineState
public void setNumberAskedResults(int nResultAsked)
setNumberAskedResults
in class AbstractEngineState
public int getNumberAskedResults()
getNumberAskedResults
in class AbstractEngineState
public void setLibraries(java.lang.String[] libraries)
public java.lang.String[] getLibraries()
public void setHasOpenAlternatives(boolean hasOpenAlternatives)
setHasOpenAlternatives
in class AbstractEngineState
public boolean hasOpenAlternatives()
hasOpenAlternatives
in class AbstractEngineState
public long getSerializationTimestamp()
getSerializationTimestamp
in class AbstractEngineState
public void setSerializationTimestamp(long serializationTimestamp)
setSerializationTimestamp
in class AbstractEngineState
public java.util.ArrayList<java.lang.String> getFlags()
public void setFlags(java.util.ArrayList<java.lang.String> flags)
public void setDynTheory(java.lang.String theory)
public java.lang.String getDynTheory()
public java.util.LinkedList<Operator> getOp()
public void setOp(java.util.LinkedList<Operator> list)