Type Members

1.  case class AND (props: List[Proposition]) extends Proposition with Product with Serializable
2.  sealed trait APISP extends AnyRef
3.  case class ASSIGN (id: ID) extends StateUpdater with Product with Serializable
4.  case class Action (id: ID, value: StateUpdater) extends Product with Serializable
5.  case class Alternative (sop: List[SOP], nodeID: ID = ID.newID) extends SOP with Product with Serializable
6.  case class Arbitrary (sop: List[SOP], nodeID: ID = ID.newID) extends SOP with Product with Serializable
7.  type AttributeWrapper = JsValueWrapper

   A helper type that any case class that has a implicit format in scope can be converted into.

   A helper type that any case class that has a implicit format in scope can be converted into. Else, a compile error will happen.

8.  case class Condition (guard: Proposition, action: List[Action] = List(), attributes: SPAttributes = SPAttributes()) extends Product with Serializable
9.  case class DECR (n: Int) extends StateUpdater with Product with Serializable
10.  case class EQ (left: StateEvaluator, right: StateEvaluator) extends PropositionEvaluator with Product with Serializable
11.  case class GR (left: StateEvaluator, right: StateEvaluator) extends PropositionEvaluator with Product with Serializable
12.  case class GREQ (left: StateEvaluator, right: StateEvaluator) extends PropositionEvaluator with Product with Serializable
13.  type ID = UUID

    The id used in SP.

    The id used in SP. A standard UUID.

14.  sealed trait IDAble extends AnyRef
15.  case class INCR (n: Int) extends StateUpdater with Product with Serializable
16.  type JSFormat[T] = Format[T]
17.  type JSReads[T] = Reads[T]
18.  type JSWrites[T] = Writes[T]
19.  case class LE (left: StateEvaluator, right: StateEvaluator) extends PropositionEvaluator with Product with Serializable
20.  case class LEEQ (left: StateEvaluator, right: StateEvaluator) extends PropositionEvaluator with Product with Serializable
21.  case class NEQ (left: StateEvaluator, right: StateEvaluator) extends PropositionEvaluator with Product with Serializable
22.  case class NOT (p: Proposition) extends Proposition with Product with Serializable
23.  case class OR (props: List[Proposition]) extends Proposition with Product with Serializable
24.  case class Operation (name: String, conditions: List[Condition] = List(), attributes: SPAttributes = SPAttributes(), id: ID = ID.newID) extends IDAble with Product with Serializable
25.  case class OperationNode (operation: ID, conditions: List[Condition] = List(), sop: List[SOP] = List(), nodeID: ID = ID.newID) extends SOP with Product with Serializable
26.  case class Other (sop: List[SOP], nodeID: ID = ID.newID) extends SOP with Product with Serializable
27.  case class Parallel (sop: List[SOP], nodeID: ID = ID.newID) extends SOP with Product with Serializable
28.  sealed trait Proposition extends AnyRef
29.  sealed trait PropositionEvaluator extends Proposition
30.  sealed trait SOP extends AnyRef
31.  case class SOPSpec (name: String, sop: List[SOP], attributes: SPAttributes = SPAttributes(), id: ID = ID.newID) extends IDAble with Product with Serializable
32.  type SPAttributes = JsObject

    The default data structure to store info about an item in SP.

    The default data structure to store info about an item in SP. Is a json structure and can store any case class that has an implicit format defined for it.

33.  case class SPHeader (from: String = "", to: String = "", reqID: ID = ID.newID, reply: SPValue = SPAttributes(), fromTags: List[String] = List(), toTags: List[String] = List(), attributes: SPAttributes = SPAttributes(), timestamp: SPValue = SPMessage.timeStamp) extends Product with Serializable
34.  case class SPMessage (header: SPAttributes, body: SPAttributes) extends Product with Serializable
35.  case class SPResult (name: String, attributes: SPAttributes = SPAttributes(), id: ID = ID.newID) extends IDAble with Product with Serializable
36.  case class SPSpec (name: String, attributes: SPAttributes = SPAttributes(), id: ID = ID.newID) extends IDAble with Product with Serializable
37.  case class SPState (name: String = "state", state: Map[ID, SPValue], attributes: SPAttributes = SPAttributes(), id: ID = ID.newID) extends IDAble with Product with Serializable
38.  type SPValue = JsValue
39.  case class SVIDEval (id: ID) extends StateEvaluator with Product with Serializable
40.  case class Sequence (sop: List[SOP], nodeID: ID = ID.newID) extends SOP with Product with Serializable
41.  case class SometimeSequence (sop: List[SOP], nodeID: ID = ID.newID) extends SOP with Product with Serializable
42.  sealed trait StateEvaluator extends AnyRef
43.  sealed trait StateUpdater extends AnyRef
44.  case class Struct (name: String, items: Set[StructNode] = Set(), attributes: SPAttributes = SPAttributes(), id: ID = ID.newID) extends IDAble with Product with Serializable
45.  case class StructNode (item: ID, parent: Option[ID] = None, nodeID: ID = ID.newID, attributes: SPAttributes = SPAttributes()) extends Product with Serializable
46.  case class Thing (name: String, attributes: SPAttributes = SPAttributes(), id: ID = ID.newID) extends IDAble with Product with Serializable
47.  case class ValueHolder (v: SPValue) extends StateEvaluator with StateUpdater with Product with Serializable