SetCommand

def nextState (s: State, b: Binding): State

def run (s: State): Any

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

def ## (): Int

def == (arg0: AnyRef): Boolean

def == (arg0: Any): Boolean

def asInstanceOf [T0] : T0

def clone (): AnyRef

def eq (arg0: AnyRef): Boolean

def equals (arg0: Any): Boolean

def finalize (): Unit

def getClass (): java.lang.Class[_]

def hashCode (): Int

def isInstanceOf [T0] : Boolean

def ne (arg0: AnyRef): Boolean

def nextState (s: State): State

def notify (): Unit

def notifyAll (): Unit

def org$scalacheck$Commands$$run_ (s: State): Any

Used internally.

def postCondition : (State, State, Any) ⇒ Prop

Returns all postconditions merged into a single function

val postConditions : ListBuffer[(State, State, Any) ⇒ Prop]

A postcondition is a function that takes three parameters, s0, s1 and r.

def preCondition : (State) ⇒ Boolean

Returns all preconditions merged into a single function

val preConditions : ListBuffer[(State) ⇒ Boolean]

A precondition is a function that takes the current abstract state as parameter and returns a boolean that says if the precondition is fulfilled or not.

def synchronized [T0] (arg0: ⇒ T0): T0

def toString (): String

def wait (): Unit

def wait (arg0: Long, arg1: Int): Unit

def wait (arg0: Long): Unit

def postCondition_= (f: (State, State, Any) ⇒ Prop): ListBuffer[(State, State, Any) ⇒ Prop]

def postCondition_= (f: (State, Any) ⇒ Prop): ListBuffer[(State, State, Any) ⇒ Prop]

def preCondition_= (f: (State) ⇒ Boolean): ListBuffer[(State) ⇒ Boolean]