Uses of Class
wytp.proof.rules.Simplification

Packages that use Simplification

Package	Description
wytp.proof.rules
wytp.proof.rules.arithmetic
wytp.proof.rules.array
wytp.proof.rules.function
wytp.proof.rules.logic
wytp.proof.rules.quantifier
wytp.proof.rules.record
wytp.proof.rules.type
wytp.proof.util

Uses of Simplification in wytp.proof.rules

Constructors in wytp.proof.rules with parameters of type Simplification

Constructor and Description
CongruenceClosure(Simplification simplify, TypeSystem types)
EqualityCaseAnalysis(Simplification simplify, TypeSystem types)

Uses of Simplification in wytp.proof.rules.arithmetic

Constructors in wytp.proof.rules.arithmetic with parameters of type Simplification

Constructor and Description
InequalityIntroduction(Simplification simp, TypeSystem types)

Uses of Simplification in wytp.proof.rules.array

Constructors in wytp.proof.rules.array with parameters of type Simplification

Constructor and Description
ArrayEqualityCaseAnalysis(Simplification simplify, TypeSystem types)
ArrayIndexAxiom(Simplification simplify, TypeSystem types)
ArrayIndexCaseAnalysis(Simplification simplify, TypeSystem types)
ArrayLengthAxiom(Simplification simplify, TypeSystem types)

Uses of Simplification in wytp.proof.rules.function

Constructors in wytp.proof.rules.function with parameters of type Simplification

Constructor and Description
FunctionCallAxiom(Simplification simplify, TypeSystem types)
MacroExpansion(Simplification simplify, TypeSystem types)

Uses of Simplification in wytp.proof.rules.logic

Constructors in wytp.proof.rules.logic with parameters of type Simplification

Constructor and Description
AndElimination(Simplification simplify, TypeSystem types)

Uses of Simplification in wytp.proof.rules.quantifier

Constructors in wytp.proof.rules.quantifier with parameters of type Simplification

Constructor and Description
ExhaustiveQuantifierInstantiation(Simplification simplify, TypeSystem types)
ExistentialElimination(Simplification simplify, TypeSystem types)

Uses of Simplification in wytp.proof.rules.record

Constructors in wytp.proof.rules.record with parameters of type Simplification

Constructor and Description
RecordEqualityCaseAnalysis(Simplification simplify, TypeSystem types)

Uses of Simplification in wytp.proof.rules.type

Constructors in wytp.proof.rules.type with parameters of type Simplification

Constructor and Description
TypeTestClosure(Simplification simplify, TypeSystem types)
TypeTestNormalisation(Simplification simplify, TypeSystem types)

Uses of Simplification in wytp.proof.util

Fields in wytp.proof.util declared as Simplification

Modifier and Type	Field and Description
protected Simplification	AbstractProofRule.simp

Constructors in wytp.proof.util with parameters of type Simplification

Constructor and Description
AbstractClosureRule(Simplification simp, TypeSystem types)
AbstractProofRule(Simplification simp, TypeSystem types)