Uses of Class
de.upb.swt.mcie.formulas.Formula

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.