public class ParseOptions
extends java.lang.Object
Constructor and Description |
---|
ParseOptions() |
Modifier and Type | Method and Description |
---|---|
IGrammar |
getGrammar() |
boolean |
isRestrictPrimedIdentifiers() |
boolean |
isRestrictProverExpressions() |
void |
setGrammar(IGrammar grammar) |
void |
setRestrictPrimedIdentifiers(boolean restrictPrimedIdentifiers) |
void |
setRestrictProverExpressions(boolean restrictProverExpressions) |
public boolean isRestrictProverExpressions()
public void setRestrictProverExpressions(boolean restrictProverExpressions)
public boolean isRestrictPrimedIdentifiers()
public void setRestrictPrimedIdentifiers(boolean restrictPrimedIdentifiers)
public IGrammar getGrammar()
public void setGrammar(IGrammar grammar)