case classSafeOrder(stmdd: ((SafetyTheory.this)#mddFactory)#MDD, req: Int) extends (SafetyTheory.this)#SafetyReqPredicate with Product with Serializable
Case class encoding the order requirement predicate
stmdd
the STMDD representing the system
req
the order requirement
Linear Supertypes
Serializable, Serializable, Product, Equals, (SafetyTheory.this)#SafetyReqPredicate, (SafetyTheory.this)#SafetyPredicate, AnyRef, Any
Case class encoding the order requirement predicate
the STMDD representing the system
the order requirement