Uses of Class
wytp.proof.Formula.Inequality

Packages that use Formula.Inequality

Package	Description
wytp.proof
wytp.proof.rules
wytp.proof.rules.arithmetic
wytp.proof.util

Uses of Formula.Inequality in wytp.proof

Methods in wytp.proof that return Formula.Inequality

Modifier and Type	Method and Description
Formula.Inequality	Formula.Inequality.clone(wybs.lang.SyntacticItem[] children)

Uses of Formula.Inequality in wytp.proof.rules

Methods in wytp.proof.rules with parameters of type Formula.Inequality

Modifier and Type	Method and Description
Formula	Simplification.simplifyInequality(Formula.Inequality ieq) Simplify an inequality by canceling, evaluating and/or balancing: Canceling is the process of removing commons terms from both sides.

Uses of Formula.Inequality in wytp.proof.rules.arithmetic

Methods in wytp.proof.rules.arithmetic with parameters of type Formula.Inequality

Modifier and Type	Method and Description
Formula	InequalityIntroduction.closeOver(Formula.Inequality ith, Formula.Inequality jth) Close over two inequalities.

Uses of Formula.Inequality in wytp.proof.util

Methods in wytp.proof.util that return Formula.Inequality

Modifier and Type	Method and Description
static Formula.Inequality	Formulae.greaterOrEqual(WyalFile.Expr lhs, WyalFile.Expr rhs)
static Formula.Inequality	Formulae.lessThan(WyalFile.Expr lhs, WyalFile.Expr rhs)