Formulas
gapt.examples.Formulas
object Formulas
Contains some commonly used formulas.
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Formulas.type
Members list
Value members
Concrete methods
Value parameters
- f
-
A function symbol.
Attributes
- Returns
-
A formula expressing that = is a congruence w.r.t. the binary function symbol f.
Value parameters
- f
-
A function symbol.
Attributes
- Returns
-
A formula expressing that = is a congruence w.r.t. the unary function symbol f.
Concrete fields
Attributes
- Returns
-
A formula expressing the reflexivity of =.
Attributes
- Returns
-
A formula expressing the symmetry of =.
Attributes
- Returns
-
A formula expressing the transitivity of =.
In this article