A B C D E F G H I K L M N O P R S T U V X

F

f - Variable in class de.upb.swt.mcie.formulas.UnaryOp
The subformula.
fair - Variable in class de.upb.swt.mcie.mc.FairModel
The set of all states in which a fair path starts.
FairModel - Class in de.upb.swt.mcie.mc
Implements a fair model based on some other model.
FairModel(Context) - Constructor for class de.upb.swt.mcie.mc.FairModel
Constructs an empty fair Model.
FairModel(Model, ROBDD[]) - Constructor for class de.upb.swt.mcie.mc.FairModel
Constructs a fair model from some model and from a set of fairness conditions.
fairness - Variable in class de.upb.swt.mcie.mc.FairModel
An array of ROBDDs representing the fairness conditions.
FALSE - Static variable in class de.upb.swt.mcie.parser.Scanner
The Pattern for the constant false.
Formula - Class in de.upb.swt.mcie.formulas
Implements the common structure of all formulas.
Formula() - Constructor for class de.upb.swt.mcie.formulas.Formula
 

A B C D E F G H I K L M N O P R S T U V X