|
|||||
PREV NEXT | FRAMES NO FRAMES |
BioPatternsTranslator
object with a
string array of names of atomic propositions.
atomProp1
occurs, then it is
possibly/necessarily followed by a state atomProp2
".
atomProp
can/must persist
indefinitely".
atomProp
to occur".
atomProp1
is reachable and is
possibly/necessarily preceded at some time/all the time by
a state atomProp2
".
|
|||||
PREV NEXT | FRAMES NO FRAMES |