io.github.iltotore.iron.Implication
See theImplication companion object
An algebraic implication between two constraints (e.g transitivity for constraint.numeric.Greater).
Type parameters
- C1
-
the assumed constraint.
- C2
-
the constraint implied by
C1.
Attributes
- Companion
- object
- Source
- Implication.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
In this article