Uses of Class
wyal.lang.WyalFile.Expr.InfixOperator

Packages that use WyalFile.Expr.InfixOperator

Package	Description
wyal.lang
wytp.proof

Uses of WyalFile.Expr.InfixOperator in wyal.lang

Subclasses of WyalFile.Expr.InfixOperator in wyal.lang

Modifier and Type	Class and Description
static class	WyalFile.Expr.Addition Represents an arithmetic addition expression of the form "e1 + ...
static class	WyalFile.Expr.Division Represents an arithmetic division expression of the form "e1 / ...
static class	WyalFile.Expr.Equal Represents an equality expression of the form "e1 == ...
static class	WyalFile.Expr.GreaterThan Represents a strict inequality expression of the form "e1 > ...
static class	WyalFile.Expr.GreaterThanOrEqual Represents a non-strict inequality expression of the form "e1 >= ...
static class	WyalFile.Expr.LessThan Represents a strict inequality expression of the form "e1 < ...
static class	WyalFile.Expr.LessThanOrEqual Represents a non-strict inequality expression of the form "e1 <= ...
static class	WyalFile.Expr.LogicalAnd Represents a logical conjunction of the form "e1 && ..
static class	WyalFile.Expr.LogicalIff Represents a logical biconditional of the form "e1 <==> ...
static class	WyalFile.Expr.LogicalImplication Represents a logical implication of the form "e1 ==> ...
static class	WyalFile.Expr.LogicalOr Represents a logical disjunction of the form "e1 || ..
static class	WyalFile.Expr.Multiplication Represents an arithmetic multiplication expression of the form "e1 * ...
static class	WyalFile.Expr.NotEqual Represents an unequality expression of the form "e1 != ...
static class	WyalFile.Expr.Remainder Represents an arithmetic remainder expression of the form "e1 / ...
static class	WyalFile.Expr.Subtraction Represents an arithmetic subtraction expression of the form "e1 - ...

Uses of WyalFile.Expr.InfixOperator in wytp.proof

Subclasses of WyalFile.Expr.InfixOperator in wytp.proof

Modifier and Type	Class and Description
static class	Formula.Inequality