Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
X
G
getAssignment()
- Method in class de.upb.swt.mcie.robdds.
InnerNode
Returns an assignment for which the ROBDD evaluates to true.
getAssignment()
- Method in class de.upb.swt.mcie.robdds.
ROBDD
Returns an assignment for which the ROBDD evaluates to true.
getAssignment()
- Method in class de.upb.swt.mcie.robdds.
TerminalNode
Returns an assignment for which the ROBDD evaluates to true.
getContext()
- Method in class de.upb.swt.mcie.mc.
FairModel
Returns the context associated with this fair model structure.
getContext()
- Method in class de.upb.swt.mcie.mc.
Kripkestructure
Returns the context associated with this Kripke structure.
getContext()
- Method in class de.upb.swt.mcie.mc.
Model
Must implement an operation that returns the
Context
associated with this model.
getContext()
- Method in class de.upb.swt.mcie.mc.
Transitionsystem
Returns the context associated with this Kripke structure.
getContext()
- Method in interface de.upb.swt.mcie.robdds.
Assignment
Returns the context of the assignment.
getContext()
- Method in class de.upb.swt.mcie.robdds.
HashAssignment
Returns the context of the assignment.
getName()
- Method in class de.upb.swt.mcie.parser.token.
Id
Returns the literal of the identifier.
getName()
- Method in class de.upb.swt.mcie.robdds.
Variable
Returns the name of the variable.
getNextChar()
- Method in class de.upb.swt.mcie.parser.
Scanner
Returns the next character of the character sequence and increments the position.
getNextToken()
- Method in class de.upb.swt.mcie.parser.
Scanner
Returns the next token.
getNextTrueChar()
- Method in class de.upb.swt.mcie.parser.
Scanner
Returns the first character of the text in the reader that is not a white space.
getOp()
- Method in class de.upb.swt.mcie.parser.token.
BinOp
Returns the operation (i.e. its encoding).
getOp()
- Method in class de.upb.swt.mcie.parser.token.
UnOp
Returns the operation (i.e. its encoding).
getPartner()
- Method in class de.upb.swt.mcie.robdds.
Variable
Returns the partner variable.
getSize()
- Method in class de.upb.swt.mcie.robdds.
Context
Returns the number of internal nodes currently in use.
getType()
- Method in class de.upb.swt.mcie.parser.token.
Brack
Returns the type of the bracket.
getType()
- Method in class de.upb.swt.mcie.parser.token.
Sep
Returns the type of the separator.
getValue()
- Method in class de.upb.swt.mcie.parser.token.
Const
Returns the value of the constant.
getValue(Variable)
- Method in interface de.upb.swt.mcie.robdds.
Assignment
Returns the value of the assignment for the variable.
getValue(Variable)
- Method in class de.upb.swt.mcie.robdds.
HashAssignment
Returns the value of the assignment for the variable.
getVariable(String)
- Method in class de.upb.swt.mcie.robdds.
Context
For the given name, returns the associated variable, if the variable exists.
getVersion()
- Method in class de.upb.swt.mcie.parser.token.
Brack
Returns the version of the bracket.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
X