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.

A B C D E F G H I K L M N O P R S T U V X