A B C D E F G H I J L M N O P Q R S T U V W

A

ACCEPT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

ACCEPT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

ACCEPT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple

ResultTuple the means a computation accepts

accept - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple

activeState - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

add(byte, GWorktape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple

adds a new Configuration to the Successors

addChild(Graph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

addEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph

addEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph

addEdge(ComputationNode<GWorktape>, ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

Adds a edge between two Computation Nodes

addGate(int, Circuit.GateTypes) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

add a gate to the circuit

addIn(Circuit.Gate<GateTypes>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.Gate

additiveExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

addNeighbour(UndirectedGraph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph.Node

addNode(NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph

addNode(NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph

addNullEdge(ComputationNode<GWorktape>, ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTreeCyclic

addOut(Circuit.Gate<GateTypes>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.Gate

addParent(Graph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

addrule(Set<List<String>>, String, String, String) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PebbleTest

addRule(char, char, int, char, int, int, int) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction

adds a transition rule

allQuantified - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

true iff universal quantified false iff existential quantified unset if halting state

alternating_machineLexer - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineLexer() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

alternating_machineLexer(CharStream) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

alternating_machineLexer(CharStream, RecognizerSharedState) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

alternating_machineLexer.DFA18 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineLexer.DFA18(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer.DFA18

alternating_machineLexer.DFA30 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineLexer.DFA30(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer.DFA30

alternating_machineParser - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser(TokenStream) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

alternating_machineParser(TokenStream, RecognizerSharedState) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

alternating_machineParser.additiveExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.additiveExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.additiveExpression_return

alternating_machineParser.andExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.andExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.andExpression_return

alternating_machineParser.arg_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.arg_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arg_return

alternating_machineParser.args_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.args_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.args_return

alternating_machineParser.arguments_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.arguments_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arguments_return

alternating_machineParser.arrayCreator_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.arrayCreator_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arrayCreator_return

alternating_machineParser.arrayInitializer_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.arrayInitializer_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arrayInitializer_return

alternating_machineParser.assignmentOperator_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.assignmentOperator_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.assignmentOperator_return

alternating_machineParser.atm_file_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.atm_file_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atm_file_return

alternating_machineParser.atm_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.atm_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atm_return

alternating_machineParser.atmJava_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.atmJava_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atmJava_return

alternating_machineParser.block_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.block_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.block_return

alternating_machineParser.blockStatement_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.blockStatement_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.blockStatement_return

alternating_machineParser.booleanLiteral_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.booleanLiteral_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.booleanLiteral_return

alternating_machineParser.castExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.castExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.castExpression_return

alternating_machineParser.catchClause_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.catchClause_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.catchClause_return

alternating_machineParser.catches_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.catches_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.catches_return

alternating_machineParser.classOrInterfaceType_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.classOrInterfaceType_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.classOrInterfaceType_return

alternating_machineParser.conditionalAndExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.conditionalAndExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalAndExpression_return

alternating_machineParser.conditionalExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.conditionalExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalExpression_return

alternating_machineParser.conditionalOrExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.conditionalOrExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalOrExpression_return

alternating_machineParser.constantExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.constantExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.constantExpression_return

alternating_machineParser.createdName_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.createdName_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.createdName_return

alternating_machineParser.declaration_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.declaration_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.declaration_return

alternating_machineParser.DFA37 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA37(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA37

alternating_machineParser.DFA46 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA46(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA46

alternating_machineParser.DFA47 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA47(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA47

alternating_machineParser.DFA49 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA49(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA49

alternating_machineParser.DFA50 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA50(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA50

alternating_machineParser.DFA62 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA62(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA62

alternating_machineParser.DFA68 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA68(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA68

alternating_machineParser.DFA69 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA69(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA69

alternating_machineParser.DFA72 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA72(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA72

alternating_machineParser.DFA76 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA76(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA76

alternating_machineParser.DFA93 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.DFA93(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA93

alternating_machineParser.enhancedForControl_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.enhancedForControl_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.enhancedForControl_return

alternating_machineParser.equalityExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.equalityExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.equalityExpression_return

alternating_machineParser.exclusiveOrExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.exclusiveOrExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.exclusiveOrExpression_return

alternating_machineParser.explicitGenericInvocation_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.explicitGenericInvocation_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.explicitGenericInvocation_return

alternating_machineParser.expression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.expression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.expression_return

alternating_machineParser.expressionList_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.expressionList_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.expressionList_return

alternating_machineParser.forControl_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.forControl_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forControl_return

alternating_machineParser.forInit_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.forInit_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forInit_return

alternating_machineParser.formalParameter_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.formalParameter_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.formalParameter_return

alternating_machineParser.forUpdate_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.forUpdate_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forUpdate_return

alternating_machineParser.head_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.head_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.head_return

alternating_machineParser.identifierSuffix_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.identifierSuffix_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.identifierSuffix_return

alternating_machineParser.importDeclaration_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.importDeclaration_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.importDeclaration_return

alternating_machineParser.inclusiveOrExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.inclusiveOrExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.inclusiveOrExpression_return

alternating_machineParser.input_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.input_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.input_return

alternating_machineParser.instanceOfExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.instanceOfExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.instanceOfExpression_return

alternating_machineParser.integerLiteral_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.integerLiteral_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.integerLiteral_return

alternating_machineParser.literal_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.literal_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.literal_return

alternating_machineParser.localVariableDeclaration_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.localVariableDeclaration_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.localVariableDeclaration_return

alternating_machineParser.multiplicativeExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.multiplicativeExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.multiplicativeExpression_return

alternating_machineParser.nondeterminism_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.nondeterminism_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.nondeterminism_return

alternating_machineParser.nonWildcardTypeArguments_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.nonWildcardTypeArguments_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.nonWildcardTypeArguments_return

alternating_machineParser.oneDimensionalArrayType_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.oneDimensionalArrayType_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.oneDimensionalArrayType_return

alternating_machineParser.packageDecl_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.packageDecl_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.packageDecl_return

alternating_machineParser.parExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.parExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.parExpression_return

alternating_machineParser.primary_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.primary_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.primary_return

alternating_machineParser.primitiveType_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.primitiveType_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.primitiveType_return

alternating_machineParser.qualifiedName_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.qualifiedName_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.qualifiedName_return

alternating_machineParser.relationalExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.relationalExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.relationalExpression_return

alternating_machineParser.relationalOp_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.relationalOp_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.relationalOp_return

alternating_machineParser.selector_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.selector_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.selector_return

alternating_machineParser.shiftExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.shiftExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.shiftExpression_return

alternating_machineParser.shiftOp_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.shiftOp_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.shiftOp_return

alternating_machineParser.state_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.state_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.state_return

alternating_machineParser.stateBlock_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.stateBlock_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateBlock_return

alternating_machineParser.stateCall_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.stateCall_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateCall_return

alternating_machineParser.stateLoop_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.stateLoop_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateLoop_return

alternating_machineParser.statement_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.statement_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.statement_return

alternating_machineParser.statementExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.statementExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.statementExpression_return

alternating_machineParser.stateStatement_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.stateStatement_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateStatement_return

alternating_machineParser.STAttrMap - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

allows convenient multi-value initialization: "new STAttrMap().put(...).put(...)"

alternating_machineParser.STAttrMap() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.STAttrMap

alternating_machineParser.switchBlockStatementGroup_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.switchBlockStatementGroup_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchBlockStatementGroup_return

alternating_machineParser.switchBlockStatementGroups_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.switchBlockStatementGroups_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchBlockStatementGroups_return

alternating_machineParser.switchLabel_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.switchLabel_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchLabel_return

alternating_machineParser.type_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.type_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.type_return

alternating_machineParser.typeArgument_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.typeArgument_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeArgument_return

alternating_machineParser.typeArguments_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.typeArguments_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeArguments_return

alternating_machineParser.typeList_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.typeList_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeList_return

alternating_machineParser.unaryExpression_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.unaryExpression_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.unaryExpression_return

alternating_machineParser.unaryExpressionNotPlusMinus_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.unaryExpressionNotPlusMinus_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.unaryExpressionNotPlusMinus_return

alternating_machineParser.variableDeclarator_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.variableDeclarator_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclarator_return

alternating_machineParser.variableDeclaratorId_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.variableDeclaratorId_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclaratorId_return

alternating_machineParser.variableDeclarators_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.variableDeclarators_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclarators_return

alternating_machineParser.variableInitializer_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.variableInitializer_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableInitializer_return

alternating_machineParser.worktape_return - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

alternating_machineParser.worktape_return() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.worktape_return

AlternatingTuringMachine - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

AlternatingTuringMachine() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine

AlternatingTuringMachine.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

AlternatingTuringMachine.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

AlternatingTuringMachineTest - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

AlternatingTuringMachineTest() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachineTest

andExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

arg() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

args() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

arguments() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

arrayCreator() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

arrayInitializer() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

assignmentOperator() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

at.ac.tuwien.dbai.staff.dvorak.alternation.compiler - package at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

at.ac.tuwien.dbai.staff.dvorak.alternation.examples - package at.ac.tuwien.dbai.staff.dvorak.alternation.examples

atm() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

ATM<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Interface in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

simulation algorithm for alternating programs

atm_file() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

ATMacyclic<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

This class uses tabled evaluation to simulate an alternating program.

ATMacyclic(Map<Byte, State<GInputtape, GWorktape>>, GWorktape, byte) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATMacyclic

constructor

atmCompile - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.compiler

Gernerates Java code from an alternating algorithm

atmCompile() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.atmCompile

ATMcyclic<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

This class uses tabled evaluation and cycle detection to simulate an alternating program.

ATMcyclic(Map<Byte, State<GInputtape, GWorktape>>, GWorktape, byte) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATMcyclic

constructor

atmInputtape - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.State

atmJava() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

ATMsimple<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

This class simulates an alternating machine.

ATMsimple(Map<Byte, State<GInputtape, GWorktape>>, GWorktape, byte) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATMsimple

B

block() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

blockStatement() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

body - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Worktape

body - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2.Worktape

body - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Worktape

booleanLiteral() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

C

C - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Inputtape

caState - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Worktape

castExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

CatAndMouse - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouse() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse

CatAndMouse.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouse.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouse2 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouse2() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2

CatAndMouse2.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouse2.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouse3 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouse3() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3

CatAndMouse3.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouse3.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouseTest - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

CatAndMouseTest() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouseTest

catchClause() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

catches() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

catPosition - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Worktape

catPosition - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Worktape

catPosition - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Worktape

catStart - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Inputtape

catStart - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Inputtape

catStart - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Inputtape

cell - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Inputtape

cells - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Inputtape

CharacterLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

CharacterLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

childIterator() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

Circuit - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

A boolean circuit

Circuit() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

circuit - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP.Inputtape

Circuit.Gate<GateTypes> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

A Gate in the boolean circiut

Circuit.Gate(GateTypes) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.Gate

Circuit.GateTypes - Enum in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

The different types of gates

classOrInterfaceType() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Worktape

clone() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe.Worktape

clone() - Method in interface at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.InterfaceWorktape

CMT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

CMT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

compile(String, String) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.atmCompile

Takes a .atm file and computes a java class

compileExamples() - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.atmCompile

ComputationNode<GWorktape extends InterfaceWorktape> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

Node in the ComputionTree holds: # the state of the machine # the worktape with the work variables # the Quantifier associed with the node - unset if halting ( immediate accepting / rejecting) node

ComputationNode(byte, GWorktape) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

ComputationTree<GWorktape extends InterfaceWorktape> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

Computation Tree of an alternating computation - saves the configurations and their succesor relation

ComputationTree() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

ComputationTreeCyclic<GWorktape extends InterfaceWorktape> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

ComputationTreeCyclic() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTreeCyclic

compute(char[], TransitionFunction, Map<Integer, Character>, int, int) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine

compute(Graph<Integer>, Graph.Node<Integer>, Graph.Node<Integer>, Graph.Node<Integer>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse

compute(Graph<Integer>, Graph.Node<Integer>, Graph.Node<Integer>, Graph.Node<Integer>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2

compute(Graph<Integer>, Graph.Node<Integer>, Graph.Node<Integer>, Graph.Node<Integer>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3

compute(Graph.Node<GraphGame.Position>, Graph<GraphGame.Position>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm

compute(char, Map<Character, Set<Set<Character>>>, Set<Character>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn

compute(int, Map<Integer, Set<Set<Integer>>>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2

compute(int, Map<Integer, Set<Set<Integer>>>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3

compute(UndirectedGraph<Integer>, UndirectedGraph.Node<Integer>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC

compute(Circuit, boolean[], int) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP

compute(char[], int, char, int, Byte, Map<List<Character>, Character>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata

compute(Set<String>, Set<List<String>>, String, String[]) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE

compute(Set<String>, Set<List<String>>, String, String[]) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2

compute(byte[], boolean) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe

compute(char, char, int) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction

computes the transition function

compute(GInputtape) - Method in interface at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATM

simulates the machine on the given input

compute(GInputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATMacyclic

compute(GInputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATMcyclic

compute(GInputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATMsimple

compute(GWorktape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.State

computes the Result from a worktape

conditionalAndExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

conditionalExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

conditionalOrExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

connect(Circuit.Gate<Circuit.GateTypes>, Circuit.Gate<Circuit.GateTypes>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

connect a gates output with another gates input

constantExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

counter - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Worktape

counter - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Worktape

counter - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GraphGame.Position

counter - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Worktape

counter - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Worktape

counter - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Worktape

countstates - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

createdName() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

crossPlayersTurn - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe.Inputtape

D

DecimalLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DecimalLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

declaration() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

delta - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Inputtape

dfa18 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA18_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

dfa30 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

DFA30_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

dfa37 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA37_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa46 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA46_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa47 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA47_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa49 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA49_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa50 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA50_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa62 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA62_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa68 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA68_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa69 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA69_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa72 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA72_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa76 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA76_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

dfa93 - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_accept - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_acceptS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_eof - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_eofS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_eot - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_eotS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_max - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_maxS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_min - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_minS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_special - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_specialS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_transition - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

DFA93_transitionS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

drawNode(ComputationTree<Horn.Worktape>, ComputationNode<Horn.Worktape>) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.HornTest

drawNode(ComputationTree<TicTacToe.Worktape>, ComputationNode<TicTacToe.Worktape>) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToeTest

drawProofTree(ComputationTree<Horn.Worktape>) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.HornTest

drawTree(ComputationTree<TicTacToe.Worktape>) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToeTest

E

edges - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

enhancedForControl() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

EOF - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

EOF - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

equalityExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm.Worktape

equals(GraphGame.Position) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GraphGame.Position

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe.Worktape

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Input

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Output

equals(Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

EscapeSequence - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

EscapeSequence - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

exclusiveOrExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

EXISTS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

EXISTS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

explicitGenericInvocation() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

Exponent - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

Exponent - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

expression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

expressionList() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

F

facts - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Inputtape

finalstate - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Inputtape

first - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

FloatingPointLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

FloatingPointLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FloatTypeSuffix - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

FloatTypeSuffix - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_100_in_primary3055 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_arrayInitializer664 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_atm104 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_block1104 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_state433 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_stateBlock3511 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_stateCall3440 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_stateCall3457 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_stateLoop3487 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_statement1345 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_statement1487 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_statement1512 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_27_in_stateStatement3701 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_arrayInitializer684 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_atm121 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_block1111 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_state437 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_stateBlock3516 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_stateCall3445 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_stateCall3460 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_stateLoop3491 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_statement1349 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_statement1491 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_statement1516 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_28_in_stateStatement3705 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_29_in_packageDecl167 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_declaration312 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_declaration326 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_declaration341 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_declaration360 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_declaration365 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_forControl1751 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_forControl1756 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_importDeclaration208 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_packageDecl171 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_statement1263 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_statement1364 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_statement1381 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_statement1400 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_statement1410 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_statement1423 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_statement1451 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_statement1469 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_stateStatement3616 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_stateStatement3719 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_stateStatement3737 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_stateStatement3757 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_stateStatement3767 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_stateStatement3780 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_synpred10_alternating_machine341 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_synpred8_alternating_machine312 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_30_in_synpred9_alternating_machine326 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_31_in_importDeclaration194 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_32_in_importDeclaration196 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_classOrInterfaceType737 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_identifierSuffix3090 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_identifierSuffix3130 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_identifierSuffix3142 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_importDeclaration202 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_primary3002 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_primary3043 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_primary3057 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_qualifiedName939 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_selector3312 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_33_in_synpred131_alternating_machine3002 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_34_in_importDeclaration204 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_35_in_head234 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_arguments3354 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_castExpression2931 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_castExpression2946 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_catchClause1576 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_head241 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_parExpression1861 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_stateLoop3481 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_statement1223 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_stateStatement3576 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_36_in_synpred127_alternating_machine2931 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_arguments3359 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_castExpression2935 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_castExpression2956 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_catchClause1580 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_head243 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_parExpression1865 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_stateLoop3485 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_statement1227 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_stateStatement3580 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_37_in_synpred127_alternating_machine2935 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_38_in_args407 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_38_in_arrayInitializer670 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_38_in_arrayInitializer677 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_38_in_expressionList1892 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_38_in_input268 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_38_in_typeArguments865 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_38_in_typeList486 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_38_in_variableDeclarators541 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_assignmentOperator1993 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_assignmentOperator2102 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_assignmentOperator2148 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_assignmentOperator2187 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_declaration323 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_declaration338 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_declaration352 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_relationalOp2493 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_relationalOp2527 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_synpred105_alternating_machine2483 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_synpred106_alternating_machine2517 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_synpred10_alternating_machine338 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_synpred92_alternating_machine2088 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_synpred93_alternating_machine2130 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_synpred94_alternating_machine2173 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_synpred9_alternating_machine323 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_39_in_variableDeclarator567 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_40_in_declaration356 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_arrayCreator3164 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_identifierSuffix3084 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_identifierSuffix3103 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_oneDimensionalArrayType385 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_primary3037 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_selector3327 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_synpred138_alternating_machine3103 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_type703 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_type715 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_41_in_variableDeclaratorId604 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_arrayCreator3177 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_arrayCreator3195 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_identifierSuffix3086 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_identifierSuffix3107 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_oneDimensionalArrayType386 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_primary3039 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_selector3331 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_synpred138_alternating_machine3107 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_type705 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_type717 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_42_in_variableDeclaratorId606 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_43_in_state426 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_assignmentOperator2094 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_assignmentOperator2098 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_nonWildcardTypeArguments3285 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_relationalOp2489 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_relationalOp2548 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_shiftOp2616 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_shiftOp2620 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_synpred105_alternating_machine2481 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_synpred109_alternating_machine2608 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_synpred109_alternating_machine2610 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_synpred92_alternating_machine2084 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_synpred92_alternating_machine2086 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_52_in_typeArguments860 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_assignmentOperator2136 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_assignmentOperator2140 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_assignmentOperator2144 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_assignmentOperator2179 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_assignmentOperator2183 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_nonWildcardTypeArguments3289 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_relationalOp2523 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_relationalOp2559 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_shiftOp2652 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_shiftOp2656 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_shiftOp2660 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_shiftOp2690 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_shiftOp2694 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred106_alternating_machine2515 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred110_alternating_machine2642 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred110_alternating_machine2644 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred110_alternating_machine2646 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred111_alternating_machine2682 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred111_alternating_machine2684 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred93_alternating_machine2124 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred93_alternating_machine2126 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred93_alternating_machine2128 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred94_alternating_machine2169 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_synpred94_alternating_machine2171 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_53_in_typeArguments871 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_54_in_conditionalExpression2220 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_54_in_typeArgument904 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_57_in_literal1013 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_60_in_stateCall3436 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_60_in_statement1193 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_60_in_stateStatement3546 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_61_in_stateCall3455 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_61_in_statement1207 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_61_in_stateStatement3560 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_61_in_synpred155_alternating_machine3560 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_61_in_synpred51_alternating_machine1207 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_62_in_stateLoop3479 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_62_in_statement1221 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_62_in_stateStatement3574 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_63_in_statement1240 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_63_in_statement1259 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_63_in_stateStatement3594 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_63_in_stateStatement3612 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_64_in_statement1255 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_64_in_stateStatement3608 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_65_in_statement1274 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_65_in_stateStatement3626 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_66_in_statement1290 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_66_in_statement1318 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_66_in_stateStatement3644 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_66_in_stateStatement3674 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_66_in_synpred160_alternating_machine3644 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_66_in_synpred56_alternating_machine1290 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_67_in_statement1341 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_67_in_stateStatement3697 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_68_in_statement1360 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_68_in_stateStatement3715 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_69_in_statement1374 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_69_in_stateStatement3730 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_70_in_statement1392 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_70_in_stateStatement3749 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_71_in_conditionalExpression2224 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_71_in_enhancedForControl1818 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_71_in_statement1436 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_71_in_stateStatement3792 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_71_in_switchLabel1693 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_71_in_switchLabel1706 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_72_in_catchClause1574 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_73_in_switchLabel1689 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_74_in_switchLabel1704 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_75_in_assignmentOperator2003 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_76_in_assignmentOperator2013 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_77_in_assignmentOperator2023 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_78_in_assignmentOperator2033 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_79_in_assignmentOperator2043 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_80_in_assignmentOperator2053 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_81_in_assignmentOperator2063 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_82_in_assignmentOperator2073 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_83_in_conditionalOrExpression2252 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_84_in_conditionalAndExpression2280 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_85_in_inclusiveOrExpression2308 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_86_in_exclusiveOrExpression2336 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_87_in_andExpression2364 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_90_in_instanceOfExpression2425 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_91_in_unaryExpression2802 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_92_in_unaryExpression2814 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_95_in_unaryExpression2826 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_96_in_unaryExpression2838 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_97_in_unaryExpressionNotPlusMinus2869 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_98_in_unaryExpressionNotPlusMinus2881 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_99_in_identifierSuffix3092 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_99_in_identifierSuffix3132 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_99_in_primary3045 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_99_in_primary3059 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_ACCEPT_in_statement1449 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_additiveExpression_in_shiftExpression2579 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_additiveExpression_in_shiftExpression2585 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_andExpression_in_exclusiveOrExpression2332 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_andExpression_in_exclusiveOrExpression2338 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_arg_in_input266 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_arg_in_input270 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_args_in_declaration310 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_args_in_synpred8_alternating_machine310 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_arguments_in_explicitGenericInvocation3262 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_arguments_in_identifierSuffix3120 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_arguments_in_selector3316 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_arrayCreator_in_declaration358 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_arrayInitializer_in_arrayCreator3179 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_arrayInitializer_in_variableInitializer627 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_assignmentOperator_in_expression1965 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_assignmentOperator_in_synpred82_alternating_machine1965 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_atm_in_atm_file72 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_atmJava_in_state435 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_block_in_catchClause1582 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_block_in_statement1182 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_block_in_statement1276 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_block_in_statement1292 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_block_in_statement1320 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_block_in_synpred56_alternating_machine1292 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_blockStatement_in_block1108 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_blockStatement_in_switchBlockStatementGroup1665 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_booleanLiteral_in_literal1003 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_castExpression_in_synpred123_alternating_machine2893 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_castExpression_in_unaryExpressionNotPlusMinus2893 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_catchClause_in_catches1549 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_catches_in_statement1288 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_catches_in_statement1304 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_catches_in_stateStatement3642 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_catches_in_stateStatement3659 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_catches_in_synpred160_alternating_machine3642 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_catches_in_synpred161_alternating_machine3659 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_catches_in_synpred56_alternating_machine1288 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_catches_in_synpred57_alternating_machine1304 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_CharacterLiteral_in_literal983 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_classOrInterfaceType_in_args398 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_classOrInterfaceType_in_createdName3225 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_classOrInterfaceType_in_declaration333 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_classOrInterfaceType_in_oneDimensionalArrayType383 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_classOrInterfaceType_in_synpred10_alternating_machine333 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_classOrInterfaceType_in_type700 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_conditionalAndExpression_in_conditionalOrExpression2248 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_conditionalAndExpression_in_conditionalOrExpression2254 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_conditionalExpression_in_expression1962 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_conditionalOrExpression_in_conditionalExpression2216 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_constantExpression_in_switchLabel1691 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_createdName_in_arrayCreator3162 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_declaration_in_worktape298 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_enhancedForControl_in_forControl1738 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_enhancedForControl_in_synpred76_alternating_machine1738 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_equalityExpression_in_andExpression2360 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_equalityExpression_in_andExpression2366 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_exclusiveOrExpression_in_inclusiveOrExpression2304 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_exclusiveOrExpression_in_inclusiveOrExpression2310 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_EXISTS_in_statement1510 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_explicitGenericInvocation_in_identifierSuffix3144 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_arrayCreator3193 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_castExpression2953 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_conditionalExpression2222 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_conditionalExpression2226 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_constantExpression1939 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_declaration325 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_declaration340 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_declaration364 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_enhancedForControl1820 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_expression1967 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_expressionList1889 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_expressionList1894 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_forControl1753 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_identifierSuffix3105 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_parExpression1863 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_selector3329 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_statement1362 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_statementExpression1916 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_stateStatement3717 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_synpred10_alternating_machine340 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_synpred138_alternating_machine3105 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_synpred82_alternating_machine1967 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_synpred9_alternating_machine325 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expression_in_variableInitializer637 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expressionList_in_arguments3356 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expressionList_in_forInit1790 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_expressionList_in_forUpdate1839 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_FloatingPointLiteral_in_literal973 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_FORALL_in_statement1485 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_forControl_in_stateLoop3483 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_forControl_in_statement1225 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_forControl_in_stateStatement3578 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_forInit_in_forControl1748 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_formalParameter_in_catchClause1578 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_forUpdate_in_forControl1758 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_head_in_atm100 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_arg285 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_args402 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_args411 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_classOrInterfaceType731 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_classOrInterfaceType739 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_declaration320 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_declaration335 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_declaration350 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_enhancedForControl1816 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_explicitGenericInvocation3260 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_head229 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_head238 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_primary2999 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_primary3004 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_qualifiedName937 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_qualifiedName941 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_selector3314 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_state428 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_stateCall3413 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_statement1377 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_statement1395 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_statement1434 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_stateStatement3733 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_stateStatement3752 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_stateStatement3790 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_synpred10_alternating_machine335 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_synpred131_alternating_machine3004 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_synpred9_alternating_machine320 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_Identifier_in_variableDeclaratorId601 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_identifierSuffix_in_primary3008 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_identifierSuffix_in_synpred132_alternating_machine3008 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_importDeclaration_in_atm_file68 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_inclusiveOrExpression_in_conditionalAndExpression2276 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_inclusiveOrExpression_in_conditionalAndExpression2282 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_input_in_head242 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_instanceOfExpression_in_equalityExpression2388 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_instanceOfExpression_in_equalityExpression2400 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_integerLiteral_in_literal963 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_literal_in_primary2987 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_localVariableDeclaration_in_forInit1779 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_localVariableDeclaration_in_synpred80_alternating_machine1779 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_multiplicativeExpression_in_additiveExpression2724 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_multiplicativeExpression_in_additiveExpression2736 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_nondeterminism_in_statement1489 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_nondeterminism_in_statement1514 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_nonWildcardTypeArguments_in_explicitGenericInvocation3258 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_oneDimensionalArrayType_in_declaration348 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_packageDecl_in_atm_file63 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_primary2977 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_stateCall3438 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_statement1195 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_statement1242 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_statement1261 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_statement1343 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_stateStatement3548 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_stateStatement3596 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_stateStatement3614 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_parExpression_in_stateStatement3699 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_primary_in_unaryExpressionNotPlusMinus2903 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_primitiveType_in_castExpression2933 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_primitiveType_in_createdName3235 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_primitiveType_in_declaration318 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_primitiveType_in_oneDimensionalArrayType380 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_primitiveType_in_primary3034 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_primitiveType_in_synpred127_alternating_machine2933 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_primitiveType_in_synpred9_alternating_machine318 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_primitiveType_in_type712 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_qualifiedName_in_importDeclaration199 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_qualifiedName_in_packageDecl169 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_REJECT_in_statement1467 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_relationalExpression_in_instanceOfExpression2422 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_relationalOp_in_relationalExpression2452 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_selector_in_unaryExpressionNotPlusMinus2905 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_set_in_additiveExpression2728 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_set_in_booleanLiteral0 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_set_in_equalityExpression2392 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_set_in_integerLiteral0 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_set_in_multiplicativeExpression2762 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_set_in_primitiveType0 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_set_in_typeArgument907 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_set_in_unaryExpressionNotPlusMinus2908 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_shiftExpression_in_relationalExpression2448 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_shiftExpression_in_relationalExpression2454 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_shiftOp_in_shiftExpression2583 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_state_in_atm116 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateBlock_in_stateCall3415 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateBlock_in_stateStatement3534 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateBlock_in_stateStatement3630 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateBlock_in_stateStatement3646 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateBlock_in_stateStatement3676 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateBlock_in_synpred160_alternating_machine3646 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateCall_in_nondeterminism3384 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateCall_in_stateCall3442 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateCall_in_stateCall3458 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateCall_in_stateLoop3489 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateLoop_in_nondeterminism3394 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_atmJava463 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_blockStatement1133 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_statement1197 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_statement1209 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_statement1229 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_statement1244 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_statement1257 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_statement1438 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_stateStatement3794 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statement_in_synpred51_alternating_machine1209 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statementExpression_in_statement1421 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_statementExpression_in_stateStatement3778 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateStatement_in_stateBlock3513 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateStatement_in_stateStatement3550 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateStatement_in_stateStatement3562 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateStatement_in_stateStatement3582 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateStatement_in_stateStatement3598 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateStatement_in_stateStatement3610 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_stateStatement_in_synpred155_alternating_machine3562 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_StringLiteral_in_literal993 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_switchBlockStatementGroup_in_switchBlockStatementGroups1630 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_switchBlockStatementGroups_in_statement1347 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_switchBlockStatementGroups_in_stateStatement3703 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_switchLabel_in_switchBlockStatementGroup1660 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_switchLabel_in_synpred73_alternating_machine1660 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_arg283 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_castExpression2949 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_enhancedForControl1814 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_formalParameter1600 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_instanceOfExpression2427 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_localVariableDeclaration1157 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_synpred128_alternating_machine2949 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_typeArgument894 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_typeArgument915 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_typeList483 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_type_in_typeList488 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_typeArgument_in_typeArguments862 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_typeArgument_in_typeArguments867 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_typeArguments_in_classOrInterfaceType733 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_typeArguments_in_classOrInterfaceType741 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_typeList_in_nonWildcardTypeArguments3287 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_castExpression2937 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_multiplicativeExpression2758 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_multiplicativeExpression2776 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_synpred127_alternating_machine2937 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_unaryExpression2804 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_unaryExpression2816 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_unaryExpression2828 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_unaryExpression2840 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_unaryExpressionNotPlusMinus2871 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpression_in_unaryExpressionNotPlusMinus2883 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpressionNotPlusMinus_in_castExpression2958 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_unaryExpressionNotPlusMinus_in_unaryExpression2850 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_variableDeclarator_in_variableDeclarators538 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_variableDeclarator_in_variableDeclarators543 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_variableDeclaratorId_in_formalParameter1602 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_variableDeclaratorId_in_variableDeclarator564 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_variableDeclarators_in_localVariableDeclaration1159 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_variableInitializer_in_arrayInitializer667 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_variableInitializer_in_arrayInitializer672 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_variableInitializer_in_variableDeclarator569 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FOLLOW_worktape_in_atm109 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

FORALL - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

FORALL - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

forall - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple

forControl() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

forInit() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

formalParameter() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

forUpdate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

function - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction

G

game - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe.Inputtape

gameboard - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Inputtape

gameboard - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Inputtape

gameboard - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Inputtape

gameBoard - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm.Inputtape

gate - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP.Worktape

gates - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

get(NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph

get(NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph

getChildren() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

getChildren(ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe

getComputationTree() - Method in interface at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATM

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATMacyclic

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATMcyclic

getComputationTree() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ATMsimple

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer.DFA18

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer.DFA30

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA37

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA46

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA47

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA49

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA50

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA62

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA68

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA69

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA72

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA76

getDescription() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA93

getGate(int) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

getGrammarFileName() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

getGrammarFileName() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

getIn() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.Gate

getInputGate(int) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

getInputIndex(Circuit.Gate<Circuit.GateTypes>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

getNeighbours() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph.Node

getObject() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

getObject() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph.Node

getOut() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.Gate

getOutGate(int) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

getParents() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

getParents(ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTreeCyclic

getRoot() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

getState() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

getStateId(String) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

returns a states id for a given name

getStateName(Byte) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

returns a states name for a given id

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.additiveExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.andExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arg_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.args_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arguments_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arrayCreator_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arrayInitializer_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.assignmentOperator_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atm_file_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atm_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atmJava_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.block_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.blockStatement_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.booleanLiteral_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.castExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.catchClause_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.catches_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.classOrInterfaceType_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalAndExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalOrExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.constantExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.createdName_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.declaration_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.enhancedForControl_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.equalityExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.exclusiveOrExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.explicitGenericInvocation_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.expression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.expressionList_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forControl_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forInit_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.formalParameter_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forUpdate_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.head_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.identifierSuffix_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.importDeclaration_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.inclusiveOrExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.input_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.instanceOfExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.integerLiteral_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.literal_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.localVariableDeclaration_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.multiplicativeExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.nondeterminism_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.nonWildcardTypeArguments_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.oneDimensionalArrayType_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.packageDecl_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.parExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.primary_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.primitiveType_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.qualifiedName_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.relationalExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.relationalOp_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.selector_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.shiftExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.shiftOp_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.state_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateBlock_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateCall_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateLoop_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.statement_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.statementExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateStatement_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchBlockStatementGroup_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchBlockStatementGroups_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchLabel_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.type_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeArgument_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeArguments_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeList_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.unaryExpression_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.unaryExpressionNotPlusMinus_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclarator_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclaratorId_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclarators_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableInitializer_return

getTemplate() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.worktape_return

getTemplateLib() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

getTokenNames() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

getWorktape() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

GGAtm - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

GGAtm() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm

GGAtm.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

GGAtm.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

goal - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Inputtape

goal - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Inputtape

goal - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Inputtape

goal - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Inputtape

goal - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2.Inputtape

goal - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Inputtape

goal - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Inputtape

goal - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Inputtape

Graph<NTyp> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

A directed graph

Graph() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph

graph - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC.Inputtape

Graph.Node<NTyp> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Node in a directed graph

Graph.Node(NTyp) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

GraphGame - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

GraphGame() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GraphGame

GraphGame.Position - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

GraphGame.Position(boolean) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GraphGame.Position

H

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe.Worktape

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Input

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Output

hashCode() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

head() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

head - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Worktape

head - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2.Worktape

head - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Worktape

HexDigit - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

HexDigit - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

HexLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

HexLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

Horn - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Horn() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn

Horn.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Horn.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Horn2 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Horn2() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2

Horn2.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Horn2.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Horn3 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Horn3() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3

Horn3.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Horn3.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

HornTest - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

HornTest() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.HornTest

I

Identifier - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

Identifier - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

identifierSuffix() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

importDeclaration() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

In - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.Gate

inclusiveOrExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

initialState - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Inputtape

input() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

input - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP.Inputtape

inputCursor - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

inputCursor - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Output

inputGates - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

inputSymbol - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Input

inputtape - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Inputtape

inputVariables - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

inputVariablesMap - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

instanceOfExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

integerLiteral() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

IntegerTypeSuffix - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

IntegerTypeSuffix - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

InterfaceWorktape<Inputtape> - Interface in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

Container of work variables in our alternating machine.

isAllQuantified() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

isLinked() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

isLinked() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph.Node

iterator() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph

iterator() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph

J

JavaIDDigit - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

JavaIDDigit - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

L

LCMT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

LCMT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

Letter - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

Letter - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

LFMC - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Lexicographically First Maximal Clique

LFMC() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC

LFMC.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

LFMC.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

LFMCTest - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

LFMCTest() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMCTest

literal() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

localVariableDeclaration() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

M

mACCEPT() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.atmCompile

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachineTest

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouseTest

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GraphGame

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.HornTest

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMCTest

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVPTest

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomataTest

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PebbleTest

main(String[]) - Static method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToeTest

mCharacterLiteral() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mCMT() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

MCVP - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Monotone Circuit Value Problem

MCVP() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP

MCVP.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

MCVP.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

MCVPTest - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

MCVPTest() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVPTest

mDecimalLiteral() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mEscapeSequence() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mEXISTS() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mExponent() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mFloatingPointLiteral() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mFloatTypeSuffix() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mFORALL() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mHexDigit() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mHexLiteral() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mIdentifier() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mIntegerTypeSuffix() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mJavaIDDigit() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mLCMT() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mLetter() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mOctalEscape() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mOctalLiteral() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mousePosition - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Worktape

mousePosition - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Worktape

mousePosition - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Worktape

mouseStart - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Inputtape

mouseStart - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Inputtape

mouseStart - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Inputtape

mREJECT() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mStringLiteral() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__100() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__27() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__28() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__29() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__30() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__31() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__32() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__33() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__34() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__35() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__36() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__37() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__38() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__39() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__40() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__41() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__42() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__43() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__44() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__45() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__46() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__47() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__48() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__49() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__50() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__51() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__52() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__53() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__54() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__55() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__56() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__57() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__58() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__59() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__60() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__61() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__62() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__63() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__64() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__65() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__66() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__67() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__68() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__69() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__70() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__71() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__72() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__73() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__74() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__75() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__76() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__77() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__78() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__79() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__80() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__81() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__82() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__83() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__84() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__85() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__86() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__87() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__88() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__89() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__90() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__91() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__92() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__93() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__94() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__95() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__96() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__97() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__98() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mT__99() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mTokens() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

multiplicativeExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

mUnicodeEscape() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

mWS() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

N

neighboursIterator() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph.Node

newState - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Output

node - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC.Worktape

nodes - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

nondeterminism() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

nonWildcardTypeArguments() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

number - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GraphGame.Position

O

OctalEscape - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

OctalEscape - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

OctalLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

OctalLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

oneDimensionalArrayType() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

OneDimensionalCellularAutomata - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

OneDimensionalCellularAutomata() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata

OneDimensionalCellularAutomata.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

OneDimensionalCellularAutomata.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

OneDimensionalCellularAutomataTest - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

OneDimensionalCellularAutomataTest() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomataTest

Out - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.Gate

outIndex - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP.Inputtape

outputGates - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit

P

packageDecl() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

paper - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe.Worktape

parentIterator() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

parents - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Worktape

parExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

PEBBLE - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

PEBBLE() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE

PEBBLE.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

PEBBLE.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

PEBBLE2 - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

PEBBLE2() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2

PEBBLE2.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

PEBBLE2.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

pebbles - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Inputtape

pebbles - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Inputtape

PebbleTest - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

PebbleTest() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PebbleTest

position - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm.Worktape

position - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Worktape

primary() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

primitiveType() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

primitiveTypes - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

put(String, Object) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.STAttrMap

put(String, int) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.STAttrMap

put(ComputationNode<GWorktape>, Boolean) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

Q

qualifiedName() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

R

r - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Inputtape

REJECT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

REJECT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

REJECT - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple

ResultTuple the means a computation rejects

reject - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple

relationalExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

relationalOp() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

removeChild(Graph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

removeEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph

removeEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph

removeNeighbour(UndirectedGraph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph.Node

removeNode(NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph

removeNode(NTyp) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph

removeNullEdges(ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTreeCyclic

removeParent(Graph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

reset(AlternatingTuringMachine.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

reset(CatAndMouse.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Worktape

reset(CatAndMouse2.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Worktape

reset(CatAndMouse3.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Worktape

reset(GGAtm.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm.Worktape

reset(Horn.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Worktape

reset(Horn2.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2.Worktape

reset(Horn3.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Worktape

reset(LFMC.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC.Worktape

reset(MCVP.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP.Worktape

reset(OneDimensionalCellularAutomata.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Worktape

reset(PEBBLE.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Worktape

reset(PEBBLE2.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Worktape

reset(TicTacToe.Inputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe.Worktape

reset(Inputtape) - Method in interface at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.InterfaceWorktape

ResultTuple<GWorktape> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

Result of a state-computation on a worktape.

ResultTuple(boolean, boolean, boolean) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple

Constructor

ResultTuple.AtmConfiguration<GWorktape> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

simple container to save pairs of states and worktapes

ResultTuple.AtmConfiguration(byte, GWorktape) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple.AtmConfiguration

rphi - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Inputtape

rules - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Inputtape

rules - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2.Inputtape

rules - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Inputtape

rules - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Inputtape

rules - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Inputtape

S

S - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Worktape

S - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Worktape

selector() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

setInput(GInputtape) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.State

setNameToStateId(String, Byte) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

maps the state name with its id

setQuantifier(boolean) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

setRoot(ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

setStateIdToName(Byte, String) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationTree

maps the state id with its name

setTemplateLib(StringTemplateGroup) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

shiftExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

shiftOp() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

size() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph

size() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph

specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA46

specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA47

specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA49

specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA50

specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA62

specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA68

specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA69

specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA72

specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.DFA76

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.additiveExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.andExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arg_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.args_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arguments_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arrayCreator_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arrayInitializer_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.assignmentOperator_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atm_file_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atm_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atmJava_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.block_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.blockStatement_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.booleanLiteral_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.castExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.catchClause_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.catches_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.classOrInterfaceType_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalAndExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalOrExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.constantExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.createdName_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.declaration_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.enhancedForControl_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.equalityExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.exclusiveOrExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.explicitGenericInvocation_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.expression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.expressionList_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forControl_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forInit_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.formalParameter_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forUpdate_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.head_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.identifierSuffix_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.importDeclaration_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.inclusiveOrExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.input_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.instanceOfExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.integerLiteral_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.literal_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.localVariableDeclaration_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.multiplicativeExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.nondeterminism_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.nonWildcardTypeArguments_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.oneDimensionalArrayType_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.packageDecl_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.parExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.primary_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.primitiveType_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.qualifiedName_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.relationalExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.relationalOp_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.selector_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.shiftExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.shiftOp_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.state_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateBlock_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateCall_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateLoop_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.statement_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.statementExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateStatement_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchBlockStatementGroup_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchBlockStatementGroups_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchLabel_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.type_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeArgument_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeArguments_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeList_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.unaryExpression_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.unaryExpressionNotPlusMinus_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclarator_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclaratorId_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclarators_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableInitializer_return

st - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.worktape_return

startNode - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm.Inputtape

startSet - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Inputtape

startSet - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Inputtape

state() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

state - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Input

state - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

the id of the state

state - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple.AtmConfiguration

State<GInputtape,GWorktape> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.runtime

abstract class representing a state of the alternating machine

State() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.State

stateBlock() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

stateCall() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

stateLoop() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

statement() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

statementExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

states - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

stateStatement() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

stateType - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Inputtape

StringLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

StringLiteral - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

successors - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple

switchBlockStatementGroup() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

switchBlockStatementGroups() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

switchLabel() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred105_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred105_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred106_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred106_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred109_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred109_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred10_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred10_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred110_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred110_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred111_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred111_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred123_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred123_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred127_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred127_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred128_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred128_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred131_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred131_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred132_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred132_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred138_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred138_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred155_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred155_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred160_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred160_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred161_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred161_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred51_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred51_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred56_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred56_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred57_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred57_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred73_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred73_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred76_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred76_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred80_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred80_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred82_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred82_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred8_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred8_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred92_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred92_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred93_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred93_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred94_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred94_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred9_alternating_machine() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

synpred9_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T

T - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Inputtape

t - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Worktape

T__100 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__100 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__27 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__27 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__28 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__28 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__29 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__29 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__30 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__30 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__31 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__31 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__32 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__32 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__33 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__33 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__34 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__34 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__35 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__35 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__36 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__36 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__37 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__37 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__38 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__38 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__39 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__39 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__40 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__40 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__41 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__41 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__42 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__42 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__43 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__43 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__44 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__44 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__45 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__45 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__46 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__46 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__47 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__47 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__48 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__48 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__49 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__49 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__50 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__50 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__51 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__51 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__52 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__52 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__53 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__53 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__54 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__54 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__55 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__55 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__56 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__56 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__57 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__57 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__58 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__58 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__59 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__59 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__60 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__60 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__61 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__61 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__62 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__62 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__63 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__63 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__64 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__64 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__65 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__65 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__66 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__66 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__67 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__67 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__68 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__68 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__69 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__69 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__70 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__70 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__71 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__71 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__72 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__72 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__73 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__73 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__74 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__74 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__75 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__75 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__76 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__76 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__77 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__77 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__78 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__78 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__79 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__79 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__80 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__80 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__81 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__81 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__82 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__82 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__83 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__83 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__84 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__84 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__85 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__85 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__86 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__86 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__87 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__87 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__88 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__88 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__89 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__89 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__90 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__90 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__91 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__91 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__92 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__92 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__93 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__93 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__94 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__94 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__95 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__95 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__96 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__96 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__97 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__97 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__98 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__98 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

T__99 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

T__99 - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

templateLib - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

TicTacToe - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

TicTacToe() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe

TicTacToe.Inputtape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

TicTacToe.Worktape - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

TicTacToeTest - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

TicTacToeTest() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToeTest

tokenNames - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.additiveExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.andExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arg_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.args_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arguments_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arrayCreator_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.arrayInitializer_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.assignmentOperator_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atm_file_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atm_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.atmJava_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.block_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.blockStatement_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.booleanLiteral_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.castExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.catchClause_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.catches_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.classOrInterfaceType_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalAndExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.conditionalOrExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.constantExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.createdName_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.declaration_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.enhancedForControl_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.equalityExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.exclusiveOrExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.explicitGenericInvocation_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.expression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.expressionList_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forControl_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forInit_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.formalParameter_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.forUpdate_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.head_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.identifierSuffix_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.importDeclaration_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.inclusiveOrExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.input_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.instanceOfExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.integerLiteral_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.literal_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.localVariableDeclaration_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.multiplicativeExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.nondeterminism_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.nonWildcardTypeArguments_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.oneDimensionalArrayType_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.packageDecl_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.parExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.primary_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.primitiveType_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.qualifiedName_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.relationalExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.relationalOp_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.selector_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.shiftExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.shiftOp_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.state_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateBlock_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateCall_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateLoop_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.statement_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.statementExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.stateStatement_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchBlockStatementGroup_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchBlockStatementGroups_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.switchLabel_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.type_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeArgument_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeArguments_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.typeList_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.unaryExpression_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.unaryExpressionNotPlusMinus_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclarator_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclaratorId_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableDeclarators_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.variableInitializer_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser.worktape_return

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse2.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.CatAndMouse3.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GGAtm.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Graph.Node

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GraphGame.Position

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn2.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Horn3.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.MCVP.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.OneDimensionalCellularAutomata.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.PEBBLE2.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TicTacToe.Worktape

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph.Node

toString() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

TransitionFunction - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

Transition Function delta for a nondeterministic 2-string Turing machines

TransitionFunction() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction

TransitionFunction.Input - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

An Input tuple (input symbol, worksymbol, state) for the transition function

TransitionFunction.Input(char, char, int) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Input

TransitionFunction.Output - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

An tuple in the Output Set (work symbol, new state, inputCursor movement, workCursor movement)

TransitionFunction.Output(char, int, int, int) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Output

type() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

type - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.Gate

typeArgument() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

typeArguments() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

typeList() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

U

unaryExpression() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

unaryExpressionNotPlusMinus() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

UndirectedGraph<NTyp> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

An undirected graph

UndirectedGraph() - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph

UndirectedGraph.Node<NTyp> - Class in at.ac.tuwien.dbai.staff.dvorak.alternation.examples

A node in an undirected graph

UndirectedGraph.Node(NTyp) - Constructor for class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.UndirectedGraph.Node

UnicodeEscape - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

UnicodeEscape - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

USAGE - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.atmCompile

V

valueOf(String) - Static method in enum at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.GateTypes

Returns the enum constant of this type with the specified name.

values() - Static method in enum at.ac.tuwien.dbai.staff.dvorak.alternation.examples.Circuit.GateTypes

Returns an array containing the constants of this enum type, in the order they are declared.

variableDeclarator() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

variableDeclaratorId() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

variableDeclarators() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

variableInitializer() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

vertex - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.LFMC.Inputtape

W

winning - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.GraphGame.Position

workCursor - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

workCursor - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Output

workInitialization - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

workSymbol - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Input

workSymbol - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.TransitionFunction.Output

worktape() - Method in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

worktape - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.examples.AlternatingTuringMachine.Worktape

worktape - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ComputationNode

container with work variables

worktape - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.runtime.ResultTuple.AtmConfiguration

workVariables - Variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

WS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineLexer

WS - Static variable in class at.ac.tuwien.dbai.staff.dvorak.alternation.compiler.alternating_machineParser

A B C D E F G H I J L M N O P Q R S T U V W