VariableSetPrecondition

final case class VariableSetPrecondition(commonAttributes: CommonRelationshipAttributes, precondition: Precondition) extends NestedRelationship[Precondition]

A variable set precondition (nested) relationship, without the variable set.

A variable set precondition (nested) relationship, without the variable set.

Authors

Chris de Vreeze

trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product