object
DSLOpenPSATranslator
Type Members
-
case class
Exponential(lambda: Real, time: Option[Double]) extends Law with Product with Serializable
-
sealed
trait
Law extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
val
basicEventCall: String
-
val
basicEventDef: String
-
def
boolExprToPSA(expr: BoolExpr, varMap: Map[BoolExpr, (String, Real, Option[Double])]): Elem
-
def
clone(): AnyRef
-
def
createAnd(sons: List[Elem]): Elem
-
def
createAtLeast(sons: List[Elem], min: Int): Elem
-
def
createBasicEventCall(name: String): Elem
-
def
createBasicEventDef(name: String, law: Elem): Elem
-
def
createCall(e: Elem): Elem
-
def
createConstantValue[T](value: T): Elem
-
def
createGateCall(name: String): Elem
-
def
createHouseEventCall(name: String): Elem
-
def
createHouseEventDef(name: String, value: Elem): Elem
-
def
createIFF(l: Elem, r: Elem): List[Elem]
-
def
createITE(i: Elem, t: Elem, e: Elem): List[Elem]
-
def
createImplies(l: Elem, r: Elem): Elem
-
def
createLaw(law: Law): Elem
-
def
createMissionTime(value: Option[Double]): Elem
-
def
createNot(son: Elem): Elem
-
def
createOr(sons: List[Elem]): Elem
-
def
createParamCall(name: String): Elem
-
def
createParamDef(name: String, value: Elem): Elem
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
val
gateCall: String
-
val
gateDef: String
-
def
generateFreshGateName: String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
val
houseEventCall: String
-
val
houseEventDef: String
-
val
idKey: String
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
parameterCall: String
-
val
parameterDef: String
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
val
treeDef: String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
Created by kdelmas on 06/02/17.