Action

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def action[S](commands: List[CommandIO[S]]): StateT[GenT, Context[S], Action[S]]

def action[S, I, O](command: Command[S, I, O], context: Context[S]): StateT[GenT, Context[S], Option[Action[S]]]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def dropInvalid[S](actions: List[Action[S]]): State[Context[S], List[Action[S]]]

Drops invalid actions from the sequence.

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def execute[S](action: Action[S]): StateT[[β$2$]Either[ExecutionError, β$2$], Environment, ActionCheck[S]]

def executeParallel[S](initial: S, parallel: Parallel[S])(implicit E: ExecutionContext): Future[core.Result]

Executes the prefix actions sequentially, then executes the two branches in parallel, verifying that no exceptions are thrown and that there is at least one sequential interleaving where all the post-conditions are met.

def executeSequential[S](initial: S, actions: List[Action[S]]): core.Result

def executeUpdateEnsure[S](action: Action[S]): State[(S, Environment), core.Result]

def fromCommand[S, I, O](c: Command[S, I, O], i: I, o: Var[O]): Action[S]

def genActions[S](range: Range[Int], commands: List[CommandIO[S]], ctx: Context[S]): GenT[(Context[S], List[Action[S]])]

def genParallel[S](prefixN: Range[Int], parallelN: Range[Int], initial: S, commands: List[CommandIO[S]]): Gen[Parallel[S]]

Given the initial model state and set of commands, generates prefix actions to be run sequentially, followed by two branches to be run in parallel.

final def getClass(): Class[_]

def hashCode(): Int

def interleave[A](xs00: List[A], ys00: List[A]): List[List[A]]

final def isInstanceOf[T0]: Boolean

def linearize[S](initial: S, env: Environment, branch1: List[ActionCheck[S]], branch2: List[ActionCheck[S]]): core.Result

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

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

final def wait(arg0: Long): Unit

final def wait(): Unit

def finalize(): Unit