Uses of Interface
wytp.proof.Formula.Equation

Packages that use Formula.Equation

Package	Description
wytp.proof

Uses of Formula.Equation in wytp.proof

Subinterfaces of Formula.Equation in wytp.proof

Modifier and Type	Interface and Description
static interface	Formula.ArithmeticEquation

Classes in wytp.proof that implement Formula.Equation

Modifier and Type	Class and Description
static class	Formula.ArithmeticEquality
static class	Formula.Equality
static class	Formula.Inequality