|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Formula | |
---|---|
de.upb.swt.mcie.formulas | This package implements formulas, which can be state formulas, transition formulas or temporal formulas. |
de.upb.swt.mcie.parser | This package implements a parser and compiler for formulas and models. |
Uses of Formula in de.upb.swt.mcie.formulas |
---|
Subclasses of Formula in de.upb.swt.mcie.formulas | |
---|---|
class |
BinaryOp
Implements a binary operation in a formula. |
class |
Constant
Implements a constants, which can be true or false. |
class |
UnaryOp
Implements the unary operation in a formula. |
class |
Variable
Implements a variable in a formula. |
Fields in de.upb.swt.mcie.formulas declared as Formula | |
---|---|
private Formula |
UnaryOp.f
The subformula. |
private Formula |
BinaryOp.left
The left subformula. |
private Formula |
BinaryOp.right
The right subformula. |
Constructors in de.upb.swt.mcie.formulas with parameters of type Formula | |
---|---|
BinaryOp(int op,
Formula f1,
Formula f2)
Constructs a formula starting with a binary operation from the operation and its two subformulas. |
|
UnaryOp(int op,
Formula f)
Constructs a unary operation from the code of the operation and its subformula. |
Uses of Formula in de.upb.swt.mcie.parser |
---|
Methods in de.upb.swt.mcie.parser that return Formula | |
---|---|
Formula |
Parser.parse()
Parses the reader starting from the current position. |
private Formula |
Parser.parse(int bindlevel)
The internal recursive decent parse method. |
private Formula |
Parser.parseAtoms()
Parses the atoms of a formula. |
Formula[] |
Parser.parseFormulaList()
Parses and returns a list of formulas. |
Formula |
Parser.parseToEnd()
Parses the remaining part of the text in the Reader . |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |