IfThen
reqt.csp.IfThen
case class IfThen(c1: PrimitiveConstr, c2: PrimitiveConstr) extends CompoundConstr2, PrimitiveConstr
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait PrimitiveConstrtrait CompoundConstr2trait CompoundConstrtrait Constrtrait HasVariablesclass Objecttrait Matchableclass Any
Members list
In this article