A B C G I M N O P S

A

ALL_THE_TIME - Static variable in class BioPatternsTranslator
Selection for all points in time, in the Sequence pattern.
AT_SOME_TIME - Static variable in class BioPatternsTranslator
Selection for a given point in time, in the Sequence pattern.

B

BioPatternsTranslator - Class in <Unnamed>
The BioPatternsTranslator class translates a biological property from a natural language pattern into a temporal logic formula.
BioPatternsTranslator(String[]) - Constructor for class BioPatternsTranslator
Initializes a newly created BioPatternsTranslator object with a string array of names of atomic propositions.

C

CAN - Static variable in class BioPatternsTranslator
Selection for possibility, in the Invariance pattern.
consequence(int, String, int, String) - Method in class BioPatternsTranslator
Consequence pattern: "If a state atomProp1 occurs, then it is possibly/necessarily followed by a state atomProp2".
CTL - Static variable in class BioPatternsTranslator
Selection for CTL (Computation Tree Logic).
CTRL - Static variable in class BioPatternsTranslator
Selection for CTRL (Computation Tree Regular Logic).

G

getAtomicPropositions() - Method in class BioPatternsTranslator
The set of string names representing the atomic propositions.

I

invariance(int, String, int) - Method in class BioPatternsTranslator
Invariance pattern: "A state atomProp can/must persist indefinitely".

M

MU_CALCULUS - Static variable in class BioPatternsTranslator
Selection for mu-calculus temporal logic.
MUST - Static variable in class BioPatternsTranslator
Selection for necessity, in the Invariance pattern.

N

NECESSARILY - Static variable in class BioPatternsTranslator
Selection for necessity, in the Consequence and Sequence pattern.
NOT_POSSIBLE - Static variable in class BioPatternsTranslator
Selection for exclusion, in the Occurrence/Exclusion pattern.

O

occurrence(int, int, String) - Method in class BioPatternsTranslator
Occurrence/Exclusion pattern: "It is possible/not possible for a state atomProp to occur".

P

POSSIBLE - Static variable in class BioPatternsTranslator
Selection for occurrence, in the Occurrence/Exclusion pattern.
POSSIBLY - Static variable in class BioPatternsTranslator
Selection for possibility, in the Consequence and Sequence pattern.

S

sequence(int, String, int, int, String) - Method in class BioPatternsTranslator
Sequence pattern: "A state atomProp1 is reachable and is possibly/necessarily preceded at some time/all the time by a state atomProp2".
setAtomicPropositions(String[]) - Method in class BioPatternsTranslator
Initializes the set of atomic proposition names that are considered valid.

A B C G I M N O P S