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