public class LTLFormula extends Object
| Constructor and Description |
|---|
LTLFormula(String formula) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(LTLFormula formula) |
List<String> |
getApList() |
Start |
getASTRoot() |
String |
getFormulaString() |
FormulaWalker |
getFormulaWalker() |
ArrayList<Node> |
getTableauSubformulae(Node node)
This procedure returns the subformulae of the formula associated with node,
that are to be considered by the tableau method in the current step.
|
int |
hashCode() |
void |
toPNF()
This method transforms the formula into PNF (i.e.
|
String |
toString() |
public LTLFormula(String formula) throws ParserException, LexerException, IOException
ParserExceptionLexerExceptionIOExceptionpublic ArrayList<Node> getTableauSubformulae(Node node)
node - the AST node associated to the formula currently in processpublic Start getASTRoot()
public FormulaWalker getFormulaWalker()
public String getFormulaString()
public boolean equals(LTLFormula formula)
public void toPNF()
Copyright © 2018. All rights reserved.