Uses of Class
de.rwth.i2.attestor.phases.modelChecking.modelChecker.Assertion

Packages that use Assertion

Package	Description
de.rwth.i2.attestor.phases.modelChecking.modelChecker	This package implements the model checking tableau method from

Uses of Assertion in de.rwth.i2.attestor.phases.modelChecking.modelChecker

Methods in de.rwth.i2.attestor.phases.modelChecking.modelChecker that return Assertion

Modifier and Type	Method and Description
Assertion	Assertion.getParent()

Methods in de.rwth.i2.attestor.phases.modelChecking.modelChecker that return types with arguments of type Assertion

Modifier and Type	Method and Description
HashSet<Assertion>	ProofStructure.getLeaves()
HashSet<Assertion>	ProofStructure.getSuccessors(Assertion current)
HashSet<Assertion>	ProofStructure.getVertices()

Methods in de.rwth.i2.attestor.phases.modelChecking.modelChecker with parameters of type Assertion

Modifier and Type	Method and Description
HashSet<Assertion>	ProofStructure.getSuccessors(Assertion current)

Constructors in de.rwth.i2.attestor.phases.modelChecking.modelChecker with parameters of type Assertion

Constructor and Description
Assertion(Assertion assertion) This constructor returns a new assertion as a copy of the provided one.
Assertion(int progState, Assertion parent)
Assertion(int progState, Assertion parent, boolean isContainedInTrace) This constructor returns a new assertion as a copy of the provided one.
Assertion(int progState, Assertion parent, de.rwth.i2.attestor.LTLFormula formula)