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

M

main(String[]) - Static method in class de.upb.swt.mcie.mc.Kripkestructure
The main method that is invoked when the model checker is started for fair Kripke structures.
main(String[]) - Static method in class de.upb.swt.mcie.mc.Transitionsystem
The main method that is invoked when the model checker is started for a fair transition systems.
MAXBINDING - Static variable in class de.upb.swt.mcie.formulas.BinaryOp
The maximum binding level of all binary operations.
MAXBINDING - Static variable in class de.upb.swt.mcie.formulas.UnaryOp
The maximum binding level of all unary operations.
model - Variable in class de.upb.swt.mcie.mc.FairModel
The underlying model (without fairness).
Model - Class in de.upb.swt.mcie.mc
Abstract class for a model on which model checking should be performed.
Model() - Constructor for class de.upb.swt.mcie.mc.Model
 

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