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

A

ACCEPT - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
ACCEPT - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
ACCEPT - Static variable in class at.ac.tuwien.dbai.alternation.runtime.ResultTuple
ResultTuple the means a computation accepts
accept - Variable in class at.ac.tuwien.dbai.alternation.runtime.ResultTuple
 
actionPerformed(ActionEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.InfoPanel
 
actionPerformed(ActionEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.MainFrame
 
actionPerformed(ActionEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.MaximizePanel
 
actionPerformed(ActionEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.TreeFormatPanel
 
activeState - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
AcyclicGeographic - Class in at.ac.tuwien.dbai.alternation.examples
 
AcyclicGeographic() - Constructor for class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic
 
AcyclicGeographic.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
AcyclicGeographic.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
add(byte, GWorktape) - Method in class at.ac.tuwien.dbai.alternation.runtime.ResultTuple
adds a new Configuration to the Successors
addChild(BipartiteGraph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
addChild(Graph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
addEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
addEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.Graph
 
addEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph
 
addEdge(ComputationNode<GWorktape>, ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
Adds a edge between two Computation Nodes
addGate(int, Circuit.GateTypes) - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit
add a gate to the circuit
addIn(Circuit.Gate<GateTypes>) - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit.Gate
 
additiveExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
addNeighbour(UndirectedGraph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph.Node
 
addNode(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.Graph
 
addNode(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph
 
addNodeToSetA(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
addNodeToSetB(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
addNullEdge(ComputationNode<GWorktape>, ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTreeCyclic
 
addOut(Circuit.Gate<GateTypes>) - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit.Gate
 
addParent(BipartiteGraph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
addParent(Graph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
addrule(Set<List<String>>, String, String, String) - Static method in class at.ac.tuwien.dbai.alternation.examples.PebbleTest
 
addRule(char, char, int, char, int, int, int) - Method in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction
adds a transition rule
AF - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous.Inputtape
 
AF - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary.Inputtape
 
AF - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical.Inputtape
 
AF - Variable in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous.Inputtape
 
allQuantified - Variable in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
true iff universal quantified false iff existential quantified unset if halting state
alternating_machineLexer - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineLexer() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
alternating_machineLexer(CharStream) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
alternating_machineLexer(CharStream, RecognizerSharedState) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
alternating_machineLexer.DFA18 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineLexer.DFA18(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer.DFA18
 
alternating_machineLexer.DFA30 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineLexer.DFA30(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer.DFA30
 
alternating_machineParser - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser(TokenStream) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
alternating_machineParser(TokenStream, RecognizerSharedState) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
alternating_machineParser.additiveExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.additiveExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.additiveExpression_return
 
alternating_machineParser.andExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.andExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.andExpression_return
 
alternating_machineParser.arg_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.arg_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arg_return
 
alternating_machineParser.args_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.args_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.args_return
 
alternating_machineParser.arguments_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.arguments_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arguments_return
 
alternating_machineParser.arrayCreator_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.arrayCreator_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arrayCreator_return
 
alternating_machineParser.arrayInitializer_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.arrayInitializer_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arrayInitializer_return
 
alternating_machineParser.assignmentOperator_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.assignmentOperator_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.assignmentOperator_return
 
alternating_machineParser.atm_file_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.atm_file_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atm_file_return
 
alternating_machineParser.atm_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.atm_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atm_return
 
alternating_machineParser.atmJava_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.atmJava_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atmJava_return
 
alternating_machineParser.block_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.block_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.block_return
 
alternating_machineParser.blockStatement_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.blockStatement_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.blockStatement_return
 
alternating_machineParser.booleanLiteral_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.booleanLiteral_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.booleanLiteral_return
 
alternating_machineParser.castExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.castExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.castExpression_return
 
alternating_machineParser.catchClause_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.catchClause_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.catchClause_return
 
alternating_machineParser.catches_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.catches_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.catches_return
 
alternating_machineParser.classOrInterfaceType_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.classOrInterfaceType_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.classOrInterfaceType_return
 
alternating_machineParser.conditionalAndExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.conditionalAndExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalAndExpression_return
 
alternating_machineParser.conditionalExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.conditionalExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalExpression_return
 
alternating_machineParser.conditionalOrExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.conditionalOrExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalOrExpression_return
 
alternating_machineParser.constantExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.constantExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.constantExpression_return
 
alternating_machineParser.createdName_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.createdName_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.createdName_return
 
alternating_machineParser.declaration_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.declaration_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.declaration_return
 
alternating_machineParser.DFA37 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA37(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA37
 
alternating_machineParser.DFA46 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA46(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA46
 
alternating_machineParser.DFA47 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA47(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA47
 
alternating_machineParser.DFA49 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA49(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA49
 
alternating_machineParser.DFA50 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA50(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA50
 
alternating_machineParser.DFA62 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA62(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA62
 
alternating_machineParser.DFA68 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA68(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA68
 
alternating_machineParser.DFA69 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA69(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA69
 
alternating_machineParser.DFA72 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA72(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA72
 
alternating_machineParser.DFA76 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA76(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA76
 
alternating_machineParser.DFA93 - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.DFA93(BaseRecognizer) - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA93
 
alternating_machineParser.enhancedForControl_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.enhancedForControl_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.enhancedForControl_return
 
alternating_machineParser.equalityExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.equalityExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.equalityExpression_return
 
alternating_machineParser.exclusiveOrExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.exclusiveOrExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.exclusiveOrExpression_return
 
alternating_machineParser.explicitGenericInvocation_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.explicitGenericInvocation_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.explicitGenericInvocation_return
 
alternating_machineParser.expression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.expression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.expression_return
 
alternating_machineParser.expressionList_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.expressionList_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.expressionList_return
 
alternating_machineParser.forControl_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.forControl_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forControl_return
 
alternating_machineParser.forInit_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.forInit_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forInit_return
 
alternating_machineParser.formalParameter_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.formalParameter_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.formalParameter_return
 
alternating_machineParser.forUpdate_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.forUpdate_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forUpdate_return
 
alternating_machineParser.head_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.head_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.head_return
 
alternating_machineParser.identifierSuffix_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.identifierSuffix_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.identifierSuffix_return
 
alternating_machineParser.importDeclaration_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.importDeclaration_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.importDeclaration_return
 
alternating_machineParser.inclusiveOrExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.inclusiveOrExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.inclusiveOrExpression_return
 
alternating_machineParser.input_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.input_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.input_return
 
alternating_machineParser.instanceOfExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.instanceOfExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.instanceOfExpression_return
 
alternating_machineParser.integerLiteral_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.integerLiteral_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.integerLiteral_return
 
alternating_machineParser.literal_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.literal_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.literal_return
 
alternating_machineParser.localVariableDeclaration_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.localVariableDeclaration_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.localVariableDeclaration_return
 
alternating_machineParser.multiplicativeExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.multiplicativeExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.multiplicativeExpression_return
 
alternating_machineParser.nondeterminism_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.nondeterminism_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.nondeterminism_return
 
alternating_machineParser.nonWildcardTypeArguments_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.nonWildcardTypeArguments_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.nonWildcardTypeArguments_return
 
alternating_machineParser.oneDimensionalArrayType_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.oneDimensionalArrayType_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.oneDimensionalArrayType_return
 
alternating_machineParser.packageDecl_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.packageDecl_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.packageDecl_return
 
alternating_machineParser.parExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.parExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.parExpression_return
 
alternating_machineParser.primary_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.primary_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.primary_return
 
alternating_machineParser.primitiveType_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.primitiveType_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.primitiveType_return
 
alternating_machineParser.qualifiedName_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.qualifiedName_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.qualifiedName_return
 
alternating_machineParser.relationalExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.relationalExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.relationalExpression_return
 
alternating_machineParser.relationalOp_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.relationalOp_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.relationalOp_return
 
alternating_machineParser.selector_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.selector_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.selector_return
 
alternating_machineParser.shiftExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.shiftExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.shiftExpression_return
 
alternating_machineParser.shiftOp_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.shiftOp_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.shiftOp_return
 
alternating_machineParser.state_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.state_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.state_return
 
alternating_machineParser.stateBlock_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.stateBlock_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateBlock_return
 
alternating_machineParser.stateCall_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.stateCall_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateCall_return
 
alternating_machineParser.stateLoop_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.stateLoop_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateLoop_return
 
alternating_machineParser.statement_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.statement_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.statement_return
 
alternating_machineParser.statementExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.statementExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.statementExpression_return
 
alternating_machineParser.stateStatement_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.stateStatement_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateStatement_return
 
alternating_machineParser.STAttrMap - Class in at.ac.tuwien.dbai.alternation.compiler
allows convenient multi-value initialization: "new STAttrMap().put(...).put(...)"
alternating_machineParser.STAttrMap() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.STAttrMap
 
alternating_machineParser.switchBlockStatementGroup_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.switchBlockStatementGroup_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchBlockStatementGroup_return
 
alternating_machineParser.switchBlockStatementGroups_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.switchBlockStatementGroups_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchBlockStatementGroups_return
 
alternating_machineParser.switchLabel_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.switchLabel_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchLabel_return
 
alternating_machineParser.type_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.type_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.type_return
 
alternating_machineParser.typeArgument_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.typeArgument_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeArgument_return
 
alternating_machineParser.typeArguments_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.typeArguments_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeArguments_return
 
alternating_machineParser.typeList_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.typeList_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeList_return
 
alternating_machineParser.unaryExpression_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.unaryExpression_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.unaryExpression_return
 
alternating_machineParser.unaryExpressionNotPlusMinus_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.unaryExpressionNotPlusMinus_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.unaryExpressionNotPlusMinus_return
 
alternating_machineParser.variableDeclarator_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.variableDeclarator_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclarator_return
 
alternating_machineParser.variableDeclaratorId_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.variableDeclaratorId_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclaratorId_return
 
alternating_machineParser.variableDeclarators_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.variableDeclarators_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclarators_return
 
alternating_machineParser.variableInitializer_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.variableInitializer_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableInitializer_return
 
alternating_machineParser.worktape_return - Class in at.ac.tuwien.dbai.alternation.compiler
 
alternating_machineParser.worktape_return() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.worktape_return
 
AlternatingTuringMachine - Class in at.ac.tuwien.dbai.alternation.examples
 
AlternatingTuringMachine() - Constructor for class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine
 
AlternatingTuringMachine.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
AlternatingTuringMachine.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
AlternatingTuringMachineTest - Class in at.ac.tuwien.dbai.alternation.examples
 
AlternatingTuringMachineTest() - Constructor for class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachineTest
 
andExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
arg() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
args() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
argument - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous.Worktape
 
argument - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary.Worktape
 
argument - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical.Worktape
 
argument - Variable in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous.Worktape
 
arguments() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
arrayCreator() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
arrayInitializer() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
assignmentOperator() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
at.ac.tuwien.dbai.alternation.compiler - package at.ac.tuwien.dbai.alternation.compiler
 
at.ac.tuwien.dbai.alternation.examples - package at.ac.tuwien.dbai.alternation.examples
 
at.ac.tuwien.dbai.alternation.gui - package at.ac.tuwien.dbai.alternation.gui
 
at.ac.tuwien.dbai.alternation.gui.example - package at.ac.tuwien.dbai.alternation.gui.example
 
at.ac.tuwien.dbai.alternation.gui.list - package at.ac.tuwien.dbai.alternation.gui.list
 
at.ac.tuwien.dbai.alternation.gui.tree - package at.ac.tuwien.dbai.alternation.gui.tree
 
atm() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
ATM<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Interface in at.ac.tuwien.dbai.alternation.runtime
simulation algorithm for alternating programs
atm_file() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
ATMacyclic<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.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.alternation.runtime.ATMacyclic
constructor
atmCompile - Class in at.ac.tuwien.dbai.alternation.compiler
Gernerates Java code from an alternating algorithm
atmCompile() - Constructor for class at.ac.tuwien.dbai.alternation.compiler.atmCompile
 
ATMcyclic<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.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.alternation.runtime.ATMcyclic
constructor
atmInputtape - Variable in class at.ac.tuwien.dbai.alternation.runtime.State
 
atmJava() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
ATMsimple<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.runtime
This class simulates an alternating machine.
ATMsimple(Map<Byte, State<GInputtape, GWorktape>>, GWorktape, byte) - Constructor for class at.ac.tuwien.dbai.alternation.runtime.ATMsimple
 

B

BipartiteArgumentationCredulous - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationCredulous() - Constructor for class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous
 
BipartiteArgumentationCredulous.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationCredulous.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationCredulousElementary - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationCredulousElementary() - Constructor for class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary
 
BipartiteArgumentationCredulousElementary.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationCredulousElementary.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationSceptical - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationSceptical() - Constructor for class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical
 
BipartiteArgumentationSceptical.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationSceptical.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationTest - Class in at.ac.tuwien.dbai.alternation.examples
 
BipartiteArgumentationTest() - Constructor for class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationTest
 
BipartiteGraph<NTyp> - Class in at.ac.tuwien.dbai.alternation.examples
A directed graph
BipartiteGraph() - Constructor for class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
BipartiteGraph.Node<NTyp> - Class in at.ac.tuwien.dbai.alternation.examples
Node in a directed graph
BipartiteGraph.Node(NTyp) - Constructor for class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
block() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
blockStatement() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
body - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn.Worktape
 
body - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn2.Worktape
 
body - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn3.Worktape
 
booleanLiteral() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 

C

C - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Inputtape
 
caState - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Worktape
 
castExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
CatAndMouse - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouse() - Constructor for class at.ac.tuwien.dbai.alternation.examples.CatAndMouse
 
CatAndMouse.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouse.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouse2 - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouse2() - Constructor for class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2
 
CatAndMouse2.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouse2.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouse3 - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouse3() - Constructor for class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3
 
CatAndMouse3.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouse3.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouseTest - Class in at.ac.tuwien.dbai.alternation.examples
 
CatAndMouseTest() - Constructor for class at.ac.tuwien.dbai.alternation.examples.CatAndMouseTest
 
CatAndMouseTest - Class in at.ac.tuwien.dbai.alternation.gui.example
 
CatAndMouseTest() - Constructor for class at.ac.tuwien.dbai.alternation.gui.example.CatAndMouseTest
 
catchClause() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
catches() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
catPosition - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Worktape
 
catPosition - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Worktape
 
catPosition - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Worktape
 
catStart - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Inputtape
 
catStart - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Inputtape
 
catStart - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Inputtape
 
cell - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Inputtape
 
cells - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Inputtape
 
CharacterLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
CharacterLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
childIterator() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
childIterator() - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
Circuit - Class in at.ac.tuwien.dbai.alternation.examples
A boolean circuit
Circuit() - Constructor for class at.ac.tuwien.dbai.alternation.examples.Circuit
 
circuit - Variable in class at.ac.tuwien.dbai.alternation.examples.MCVP.Inputtape
 
Circuit.Gate<GateTypes> - Class in at.ac.tuwien.dbai.alternation.examples
A Gate in the boolean circiut
Circuit.Gate(GateTypes) - Constructor for class at.ac.tuwien.dbai.alternation.examples.Circuit.Gate
 
Circuit.GateTypes - Enum in at.ac.tuwien.dbai.alternation.examples
The different types of gates
classOrInterfaceType() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.GGAtm.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn2.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn3.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.LFMC.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.MCVP.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Worktape
 
clone() - Method in class at.ac.tuwien.dbai.alternation.examples.TicTacToe.Worktape
 
clone() - Method in interface at.ac.tuwien.dbai.alternation.runtime.InterfaceWorktape
 
CMT - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
CMT - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
CoBipartiteArgumentationCredulous - Class in at.ac.tuwien.dbai.alternation.examples
 
CoBipartiteArgumentationCredulous() - Constructor for class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous
 
CoBipartiteArgumentationCredulous.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
CoBipartiteArgumentationCredulous.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
compile(String, String) - Static method in class at.ac.tuwien.dbai.alternation.compiler.atmCompile
Takes a .atm file and computes a java class
compile(InputStream, String) - Static method in class at.ac.tuwien.dbai.alternation.compiler.atmCompile
 
compileExamples() - Static method in class at.ac.tuwien.dbai.alternation.compiler.atmCompile
 
ComputationNode<GWorktape extends InterfaceWorktape> - Class in at.ac.tuwien.dbai.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.alternation.runtime.ComputationNode
 
computationTree - Variable in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
ComputationTree<GWorktape extends InterfaceWorktape> - Class in at.ac.tuwien.dbai.alternation.runtime
Computation Tree of an alternating computation - saves the configurations and their succesor relation
ComputationTree() - Constructor for class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
 
ComputationTreeCyclic<GWorktape extends InterfaceWorktape> - Class in at.ac.tuwien.dbai.alternation.runtime
 
ComputationTreeCyclic() - Constructor for class at.ac.tuwien.dbai.alternation.runtime.ComputationTreeCyclic
 
compute(Graph<GraphGame.Position>, Graph.Node<GraphGame.Position>) - Method in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic
 
compute(char[], TransitionFunction, Map<Integer, Character>, int, int) - Method in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine
 
compute(BipartiteGraph.Node<Integer>, BipartiteGraph<Integer>) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous
 
compute(BipartiteGraph.Node<Integer>, BipartiteGraph<Integer>) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary
 
compute(BipartiteGraph.Node<Integer>, BipartiteGraph<Integer>) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical
 
compute(Graph<Integer>, Graph.Node<Integer>, Graph.Node<Integer>, Graph.Node<Integer>) - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse
 
compute(Graph<Integer>, Graph.Node<Integer>, Graph.Node<Integer>, Graph.Node<Integer>) - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2
 
compute(Graph<Integer>, Graph.Node<Integer>, Graph.Node<Integer>, Graph.Node<Integer>) - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3
 
compute(BipartiteGraph.Node<Integer>, BipartiteGraph<Integer>) - Method in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous
 
compute(Graph.Node<GraphGame.Position>, Graph<GraphGame.Position>) - Method in class at.ac.tuwien.dbai.alternation.examples.GGAtm
 
compute(char, Map<Character, Set<Set<Character>>>, Set<Character>) - Method in class at.ac.tuwien.dbai.alternation.examples.Horn
 
compute(int, Map<Integer, Set<Set<Integer>>>) - Method in class at.ac.tuwien.dbai.alternation.examples.Horn2
 
compute(int, Map<Integer, Set<Set<Integer>>>) - Method in class at.ac.tuwien.dbai.alternation.examples.Horn3
 
compute(UndirectedGraph<Integer>, UndirectedGraph.Node<Integer>) - Method in class at.ac.tuwien.dbai.alternation.examples.LFMC
 
compute(Circuit, boolean[], int) - Method in class at.ac.tuwien.dbai.alternation.examples.MCVP
 
compute(char[], int, char, int, Byte, Map<List<Character>, Character>) - Method in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata
 
compute(Set<String>, Set<List<String>>, String, String[]) - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE
 
compute(Set<String>, Set<List<String>>, String, String[]) - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2
 
compute(byte[], boolean) - Method in class at.ac.tuwien.dbai.alternation.examples.TicTacToe
 
compute(char, char, int) - Method in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction
computes the transition function
compute(GInputtape) - Method in interface at.ac.tuwien.dbai.alternation.runtime.ATM
simulates the machine on the given input
compute(GInputtape) - Method in class at.ac.tuwien.dbai.alternation.runtime.ATMacyclic
 
compute(GInputtape) - Method in class at.ac.tuwien.dbai.alternation.runtime.ATMcyclic
 
compute(GInputtape) - Method in class at.ac.tuwien.dbai.alternation.runtime.ATMsimple
 
compute(GWorktape) - Method in class at.ac.tuwien.dbai.alternation.runtime.State
computes the Result from a worktape
conditionalAndExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
conditionalExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
conditionalOrExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
connect(Circuit.Gate<Circuit.GateTypes>, Circuit.Gate<Circuit.GateTypes>) - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit
connect a gates output with another gates input
constantExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
counter - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Worktape
 
counter - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Worktape
 
counter - Static variable in class at.ac.tuwien.dbai.alternation.examples.GraphGame.Position
 
counter - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn.Worktape
 
counter - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn3.Worktape
 
counter - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Worktape
 
countstates - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
createdName() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
crossPlayersTurn - Variable in class at.ac.tuwien.dbai.alternation.examples.TicTacToe.Inputtape
 

D

DecimalLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DecimalLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
declaration() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
defaultDeep - Variable in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
DefaultFormat<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui
This class represents the default Format for the graphical user-inferface of a computation-tree.
DefaultFormat() - Constructor for class at.ac.tuwien.dbai.alternation.gui.DefaultFormat
 
delta - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Inputtape
 
dfa18 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA18_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
dfa30 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
DFA30_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
dfa37 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA37_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa46 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA46_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa47 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA47_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa49 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA49_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa50 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA50_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa62 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA62_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa68 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA68_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa69 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA69_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa72 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA72_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa76 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA76_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
dfa93 - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_accept - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_acceptS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_eof - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_eofS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_eot - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_eotS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_max - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_maxS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_min - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_minS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_special - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_specialS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_transition - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
DFA93_transitionS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
drawNode(ComputationTree<Horn.Worktape>, ComputationNode<Horn.Worktape>) - Static method in class at.ac.tuwien.dbai.alternation.examples.HornTest
 
drawNode(ComputationTree<TicTacToe.Worktape>, ComputationNode<TicTacToe.Worktape>) - Static method in class at.ac.tuwien.dbai.alternation.examples.TicTacToeTest
 
drawProofTree(ComputationTree<Horn.Worktape>) - Static method in class at.ac.tuwien.dbai.alternation.examples.HornTest
 
drawTree(ComputationTree<TicTacToe.Worktape>) - Static method in class at.ac.tuwien.dbai.alternation.examples.TicTacToeTest
 

E

edges - Variable in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
 
enhancedForControl() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
enteredNode - Variable in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
EOF - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
EOF - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
equalityExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.GGAtm.Worktape
 
equals(GraphGame.Position) - Method in class at.ac.tuwien.dbai.alternation.examples.GraphGame.Position
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.Horn.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.Horn2.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.Horn3.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.LFMC.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.MCVP.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.TicTacToe.Worktape
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Input
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Output
 
equals(Object) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
 
EscapeSequence - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
EscapeSequence - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
exclusiveOrExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
existChildren() - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Information, if the node has children.
EXISTS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
EXISTS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
explicitGenericInvocation() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
Exponent - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
Exponent - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
expression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
expressionList() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 

F

facts - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn.Inputtape
 
finalstate - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Inputtape
 
first - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
FloatingPointLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
FloatingPointLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FloatTypeSuffix - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
FloatTypeSuffix - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_100_in_primary3061 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_arrayInitializer670 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_atm104 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_block1110 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_state437 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_stateBlock3517 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_stateCall3446 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_stateCall3463 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_stateLoop3493 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_statement1351 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_statement1493 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_statement1518 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_27_in_stateStatement3707 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_arrayInitializer690 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_atm121 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_block1117 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_state441 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_stateBlock3522 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_stateCall3451 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_stateCall3466 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_stateLoop3497 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_statement1355 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_statement1497 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_statement1522 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_28_in_stateStatement3711 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_29_in_packageDecl170 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_declaration316 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_declaration330 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_declaration345 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_declaration364 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_declaration369 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_forControl1757 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_forControl1762 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_importDeclaration211 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_packageDecl174 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_statement1269 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_statement1370 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_statement1387 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_statement1406 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_statement1416 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_statement1429 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_statement1457 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_statement1475 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_stateStatement3622 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_stateStatement3725 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_stateStatement3743 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_stateStatement3763 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_stateStatement3773 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_stateStatement3786 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_synpred10_alternating_machine345 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_synpred8_alternating_machine316 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_30_in_synpred9_alternating_machine330 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_31_in_importDeclaration197 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_32_in_importDeclaration199 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_classOrInterfaceType743 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_identifierSuffix3096 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_identifierSuffix3136 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_identifierSuffix3148 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_importDeclaration205 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_primary3008 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_primary3049 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_primary3063 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_qualifiedName945 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_selector3318 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_33_in_synpred131_alternating_machine3008 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_34_in_importDeclaration207 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_35_in_head237 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_arguments3360 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_castExpression2937 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_castExpression2952 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_catchClause1582 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_head245 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_parExpression1867 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_stateLoop3487 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_statement1229 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_stateStatement3582 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_36_in_synpred127_alternating_machine2937 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_arguments3365 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_castExpression2941 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_castExpression2962 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_catchClause1586 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_head247 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_parExpression1871 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_stateLoop3491 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_statement1233 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_stateStatement3586 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_37_in_synpred127_alternating_machine2941 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_38_in_args411 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_38_in_arrayInitializer676 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_38_in_arrayInitializer683 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_38_in_expressionList1898 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_38_in_input272 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_38_in_typeArguments871 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_38_in_typeList492 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_38_in_variableDeclarators547 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_assignmentOperator1999 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_assignmentOperator2108 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_assignmentOperator2154 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_assignmentOperator2193 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_declaration327 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_declaration342 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_declaration356 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_relationalOp2499 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_relationalOp2533 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_synpred105_alternating_machine2489 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_synpred106_alternating_machine2523 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_synpred10_alternating_machine342 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_synpred92_alternating_machine2094 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_synpred93_alternating_machine2136 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_synpred94_alternating_machine2179 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_synpred9_alternating_machine327 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_39_in_variableDeclarator573 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_40_in_declaration360 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_arrayCreator3170 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_identifierSuffix3090 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_identifierSuffix3109 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_oneDimensionalArrayType389 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_primary3043 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_selector3333 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_synpred138_alternating_machine3109 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_type709 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_type721 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_41_in_variableDeclaratorId610 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_arrayCreator3183 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_arrayCreator3201 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_identifierSuffix3092 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_identifierSuffix3113 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_oneDimensionalArrayType390 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_primary3045 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_selector3337 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_synpred138_alternating_machine3113 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_type711 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_type723 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_42_in_variableDeclaratorId612 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_43_in_state430 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_assignmentOperator2100 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_assignmentOperator2104 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_nonWildcardTypeArguments3291 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_relationalOp2495 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_relationalOp2554 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_shiftOp2622 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_shiftOp2626 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_synpred105_alternating_machine2487 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_synpred109_alternating_machine2614 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_synpred109_alternating_machine2616 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_synpred92_alternating_machine2090 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_synpred92_alternating_machine2092 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_52_in_typeArguments866 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_assignmentOperator2142 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_assignmentOperator2146 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_assignmentOperator2150 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_assignmentOperator2185 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_assignmentOperator2189 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_nonWildcardTypeArguments3295 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_relationalOp2529 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_relationalOp2565 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_shiftOp2658 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_shiftOp2662 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_shiftOp2666 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_shiftOp2696 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_shiftOp2700 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred106_alternating_machine2521 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred110_alternating_machine2648 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred110_alternating_machine2650 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred110_alternating_machine2652 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred111_alternating_machine2688 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred111_alternating_machine2690 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred93_alternating_machine2130 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred93_alternating_machine2132 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred93_alternating_machine2134 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred94_alternating_machine2175 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_synpred94_alternating_machine2177 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_53_in_typeArguments877 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_54_in_conditionalExpression2226 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_54_in_typeArgument910 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_57_in_literal1019 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_60_in_stateCall3442 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_60_in_statement1199 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_60_in_stateStatement3552 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_61_in_stateCall3461 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_61_in_statement1213 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_61_in_stateStatement3566 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_61_in_synpred155_alternating_machine3566 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_61_in_synpred51_alternating_machine1213 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_62_in_stateLoop3485 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_62_in_statement1227 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_62_in_stateStatement3580 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_63_in_statement1246 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_63_in_statement1265 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_63_in_stateStatement3600 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_63_in_stateStatement3618 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_64_in_statement1261 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_64_in_stateStatement3614 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_65_in_statement1280 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_65_in_stateStatement3632 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_66_in_statement1296 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_66_in_statement1324 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_66_in_stateStatement3650 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_66_in_stateStatement3680 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_66_in_synpred160_alternating_machine3650 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_66_in_synpred56_alternating_machine1296 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_67_in_statement1347 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_67_in_stateStatement3703 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_68_in_statement1366 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_68_in_stateStatement3721 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_69_in_statement1380 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_69_in_stateStatement3736 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_70_in_statement1398 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_70_in_stateStatement3755 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_71_in_conditionalExpression2230 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_71_in_enhancedForControl1824 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_71_in_statement1442 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_71_in_stateStatement3798 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_71_in_switchLabel1699 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_71_in_switchLabel1712 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_72_in_catchClause1580 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_73_in_switchLabel1695 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_74_in_switchLabel1710 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_75_in_assignmentOperator2009 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_76_in_assignmentOperator2019 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_77_in_assignmentOperator2029 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_78_in_assignmentOperator2039 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_79_in_assignmentOperator2049 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_80_in_assignmentOperator2059 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_81_in_assignmentOperator2069 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_82_in_assignmentOperator2079 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_83_in_conditionalOrExpression2258 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_84_in_conditionalAndExpression2286 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_85_in_inclusiveOrExpression2314 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_86_in_exclusiveOrExpression2342 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_87_in_andExpression2370 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_90_in_instanceOfExpression2431 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_91_in_unaryExpression2808 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_92_in_unaryExpression2820 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_95_in_unaryExpression2832 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_96_in_unaryExpression2844 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_97_in_unaryExpressionNotPlusMinus2875 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_98_in_unaryExpressionNotPlusMinus2887 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_99_in_identifierSuffix3098 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_99_in_identifierSuffix3138 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_99_in_primary3051 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_99_in_primary3065 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_ACCEPT_in_statement1455 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_additiveExpression_in_shiftExpression2585 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_additiveExpression_in_shiftExpression2591 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_andExpression_in_exclusiveOrExpression2338 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_andExpression_in_exclusiveOrExpression2344 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_arg_in_input270 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_arg_in_input274 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_args_in_declaration314 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_args_in_synpred8_alternating_machine314 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_arguments_in_explicitGenericInvocation3268 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_arguments_in_identifierSuffix3126 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_arguments_in_selector3322 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_arrayCreator_in_declaration362 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_arrayInitializer_in_arrayCreator3185 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_arrayInitializer_in_variableInitializer633 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_assignmentOperator_in_expression1971 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_assignmentOperator_in_synpred82_alternating_machine1971 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_atm_in_atm_file72 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_atmJava_in_state439 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_block_in_catchClause1588 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_block_in_statement1188 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_block_in_statement1282 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_block_in_statement1298 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_block_in_statement1326 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_block_in_synpred56_alternating_machine1298 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_blockStatement_in_block1114 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_blockStatement_in_switchBlockStatementGroup1671 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_booleanLiteral_in_literal1009 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_castExpression_in_synpred123_alternating_machine2899 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_castExpression_in_unaryExpressionNotPlusMinus2899 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_catchClause_in_catches1555 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_catches_in_statement1294 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_catches_in_statement1310 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_catches_in_stateStatement3648 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_catches_in_stateStatement3665 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_catches_in_synpred160_alternating_machine3648 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_catches_in_synpred161_alternating_machine3665 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_catches_in_synpred56_alternating_machine1294 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_catches_in_synpred57_alternating_machine1310 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_CharacterLiteral_in_literal989 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_classOrInterfaceType_in_args402 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_classOrInterfaceType_in_createdName3231 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_classOrInterfaceType_in_declaration337 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_classOrInterfaceType_in_oneDimensionalArrayType387 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_classOrInterfaceType_in_synpred10_alternating_machine337 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_classOrInterfaceType_in_type706 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_conditionalAndExpression_in_conditionalOrExpression2254 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_conditionalAndExpression_in_conditionalOrExpression2260 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_conditionalExpression_in_expression1968 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_conditionalOrExpression_in_conditionalExpression2222 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_constantExpression_in_switchLabel1697 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_createdName_in_arrayCreator3168 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_declaration_in_worktape302 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_enhancedForControl_in_forControl1744 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_enhancedForControl_in_synpred76_alternating_machine1744 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_equalityExpression_in_andExpression2366 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_equalityExpression_in_andExpression2372 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_exclusiveOrExpression_in_inclusiveOrExpression2310 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_exclusiveOrExpression_in_inclusiveOrExpression2316 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_EXISTS_in_statement1516 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_explicitGenericInvocation_in_identifierSuffix3150 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_arrayCreator3199 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_castExpression2959 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_conditionalExpression2228 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_conditionalExpression2232 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_constantExpression1945 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_declaration329 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_declaration344 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_declaration368 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_enhancedForControl1826 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_expression1973 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_expressionList1895 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_expressionList1900 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_forControl1759 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_identifierSuffix3111 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_parExpression1869 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_selector3335 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_statement1368 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_statementExpression1922 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_stateStatement3723 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_synpred10_alternating_machine344 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_synpred138_alternating_machine3111 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_synpred82_alternating_machine1973 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_synpred9_alternating_machine329 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expression_in_variableInitializer643 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expressionList_in_arguments3362 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expressionList_in_forInit1796 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_expressionList_in_forUpdate1845 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_FloatingPointLiteral_in_literal979 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_FORALL_in_statement1491 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_forControl_in_stateLoop3489 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_forControl_in_statement1231 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_forControl_in_stateStatement3584 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_forInit_in_forControl1754 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_formalParameter_in_catchClause1584 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_forUpdate_in_forControl1764 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_head_in_atm100 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_arg289 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_args406 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_args415 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_classOrInterfaceType737 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_classOrInterfaceType745 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_declaration324 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_declaration339 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_declaration354 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_enhancedForControl1822 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_explicitGenericInvocation3266 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_head232 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_head241 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_primary3005 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_primary3010 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_qualifiedName943 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_qualifiedName947 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_selector3320 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_state432 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_stateCall3419 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_statement1383 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_statement1401 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_statement1440 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_stateStatement3739 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_stateStatement3758 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_stateStatement3796 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_synpred10_alternating_machine339 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_synpred131_alternating_machine3010 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_synpred9_alternating_machine324 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_Identifier_in_variableDeclaratorId607 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_identifierSuffix_in_primary3014 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_identifierSuffix_in_synpred132_alternating_machine3014 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_importDeclaration_in_atm_file68 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_inclusiveOrExpression_in_conditionalAndExpression2282 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_inclusiveOrExpression_in_conditionalAndExpression2288 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_input_in_head246 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_instanceOfExpression_in_equalityExpression2394 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_instanceOfExpression_in_equalityExpression2406 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_integerLiteral_in_literal969 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_literal_in_primary2993 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_localVariableDeclaration_in_forInit1785 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_localVariableDeclaration_in_synpred80_alternating_machine1785 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_multiplicativeExpression_in_additiveExpression2730 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_multiplicativeExpression_in_additiveExpression2742 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_nondeterminism_in_statement1495 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_nondeterminism_in_statement1520 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_nonWildcardTypeArguments_in_explicitGenericInvocation3264 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_oneDimensionalArrayType_in_declaration352 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_packageDecl_in_atm_file63 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_primary2983 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_stateCall3444 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_statement1201 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_statement1248 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_statement1267 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_statement1349 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_stateStatement3554 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_stateStatement3602 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_stateStatement3620 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_parExpression_in_stateStatement3705 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_primary_in_unaryExpressionNotPlusMinus2909 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_primitiveType_in_castExpression2939 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_primitiveType_in_createdName3241 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_primitiveType_in_declaration322 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_primitiveType_in_oneDimensionalArrayType384 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_primitiveType_in_primary3040 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_primitiveType_in_synpred127_alternating_machine2939 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_primitiveType_in_synpred9_alternating_machine322 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_primitiveType_in_type718 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_qualifiedName_in_importDeclaration202 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_qualifiedName_in_packageDecl172 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_REJECT_in_statement1473 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_relationalExpression_in_instanceOfExpression2428 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_relationalOp_in_relationalExpression2458 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_selector_in_unaryExpressionNotPlusMinus2911 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_set_in_additiveExpression2734 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_set_in_booleanLiteral0 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_set_in_equalityExpression2398 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_set_in_integerLiteral0 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_set_in_multiplicativeExpression2768 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_set_in_primitiveType0 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_set_in_typeArgument913 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_set_in_unaryExpressionNotPlusMinus2914 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_shiftExpression_in_relationalExpression2454 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_shiftExpression_in_relationalExpression2460 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_shiftOp_in_shiftExpression2589 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_state_in_atm116 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateBlock_in_stateCall3421 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateBlock_in_stateStatement3540 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateBlock_in_stateStatement3636 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateBlock_in_stateStatement3652 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateBlock_in_stateStatement3682 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateBlock_in_synpred160_alternating_machine3652 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateCall_in_nondeterminism3390 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateCall_in_stateCall3448 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateCall_in_stateCall3464 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateCall_in_stateLoop3495 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateLoop_in_nondeterminism3400 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_atmJava467 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_blockStatement1139 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_statement1203 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_statement1215 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_statement1235 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_statement1250 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_statement1263 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_statement1444 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_stateStatement3800 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statement_in_synpred51_alternating_machine1215 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statementExpression_in_statement1427 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_statementExpression_in_stateStatement3784 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateStatement_in_stateBlock3519 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateStatement_in_stateStatement3556 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateStatement_in_stateStatement3568 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateStatement_in_stateStatement3588 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateStatement_in_stateStatement3604 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateStatement_in_stateStatement3616 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_stateStatement_in_synpred155_alternating_machine3568 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_StringLiteral_in_literal999 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_switchBlockStatementGroup_in_switchBlockStatementGroups1636 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_switchBlockStatementGroups_in_statement1353 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_switchBlockStatementGroups_in_stateStatement3709 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_switchLabel_in_switchBlockStatementGroup1666 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_switchLabel_in_synpred73_alternating_machine1666 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_arg287 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_castExpression2955 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_enhancedForControl1820 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_formalParameter1606 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_instanceOfExpression2433 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_localVariableDeclaration1163 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_synpred128_alternating_machine2955 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_typeArgument900 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_typeArgument921 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_typeList489 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_type_in_typeList494 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_typeArgument_in_typeArguments868 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_typeArgument_in_typeArguments873 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_typeArguments_in_classOrInterfaceType739 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_typeArguments_in_classOrInterfaceType747 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_typeList_in_nonWildcardTypeArguments3293 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_castExpression2943 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_multiplicativeExpression2764 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_multiplicativeExpression2782 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_synpred127_alternating_machine2943 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_unaryExpression2810 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_unaryExpression2822 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_unaryExpression2834 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_unaryExpression2846 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_unaryExpressionNotPlusMinus2877 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpression_in_unaryExpressionNotPlusMinus2889 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpressionNotPlusMinus_in_castExpression2964 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_unaryExpressionNotPlusMinus_in_unaryExpression2856 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_variableDeclarator_in_variableDeclarators544 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_variableDeclarator_in_variableDeclarators549 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_variableDeclaratorId_in_formalParameter1608 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_variableDeclaratorId_in_variableDeclarator570 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_variableDeclarators_in_localVariableDeclaration1165 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_variableInitializer_in_arrayInitializer673 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_variableInitializer_in_arrayInitializer678 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_variableInitializer_in_variableDeclarator575 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FOLLOW_worktape_in_atm109 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
FORALL - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
FORALL - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
forall - Variable in class at.ac.tuwien.dbai.alternation.runtime.ResultTuple
 
forControl() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
forInit() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
formalParameter() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
Format<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui
This abstract class defines the necessary items to setup a format for the programm atm.
Format() - Constructor for class at.ac.tuwien.dbai.alternation.gui.Format
Defines a new Format without parameters.
Format(int, int, int, int) - Constructor for class at.ac.tuwien.dbai.alternation.gui.Format
Defines a new Format with given parameters.
format - Variable in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
forUpdate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
function - Variable in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction
 

G

game - Variable in class at.ac.tuwien.dbai.alternation.examples.TicTacToe.Inputtape
 
gameBoard - Variable in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic.Inputtape
 
gameboard - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Inputtape
 
gameboard - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Inputtape
 
gameboard - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Inputtape
 
gameBoard - Variable in class at.ac.tuwien.dbai.alternation.examples.GGAtm.Inputtape
 
gate - Variable in class at.ac.tuwien.dbai.alternation.examples.MCVP.Worktape
 
gates - Variable in class at.ac.tuwien.dbai.alternation.examples.Circuit
 
get(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
get(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.Graph
 
get(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph
 
getChildren() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
getChildren() - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
getChildren() - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Returns a Vector of the children of the node.
getChildren(ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
 
getComputationNode() - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Returns the referenced ComputationNode of the node.
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.GGAtm
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn2
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn3
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.LFMC
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.MCVP
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.examples.TicTacToe
 
getComputationTree() - Method in interface at.ac.tuwien.dbai.alternation.runtime.ATM
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.runtime.ATMacyclic
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.runtime.ATMcyclic
 
getComputationTree() - Method in class at.ac.tuwien.dbai.alternation.runtime.ATMsimple
 
getDeep() - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Retuns the deep of the node in the computation-tree.
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer.DFA18
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer.DFA30
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA37
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA46
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA47
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA49
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA50
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA62
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA68
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA69
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA72
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA76
 
getDescription() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA93
 
getFormat() - Method in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
getFreeSpace() - Method in class at.ac.tuwien.dbai.alternation.gui.Format
Returns the free space between two children next to each other.
getGate(int) - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit
 
getGrammarFileName() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
getGrammarFileName() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
getGraphicParameters() - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Returns an instance of GraphicParameters.
getIn() - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit.Gate
 
getInputGate(int) - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit
 
getInputIndex(Circuit.Gate<Circuit.GateTypes>) - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit
 
getInstance() - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Gives information about the instance of the GraphicParameter.
getLineLength() - Method in class at.ac.tuwien.dbai.alternation.gui.Format
Returns the space between parent and child.
getLongInformation(GWorktape, String) - Method in class at.ac.tuwien.dbai.alternation.gui.DefaultFormat
 
getLongInformation(GWorktape, String) - Method in class at.ac.tuwien.dbai.alternation.gui.Format
This method defines a long output of a given worktape and the state of a node.
getMarkedNode() - Method in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
Returns the selected node of the tree.
getMinHeight() - Method in class at.ac.tuwien.dbai.alternation.gui.list.GraphicListParameters
 
getMinHeight() - Method in class at.ac.tuwien.dbai.alternation.gui.tree.GraphicTreeParameters
This method returns the necessary height for the node.
getMinWidth() - Method in class at.ac.tuwien.dbai.alternation.gui.tree.GraphicTreeParameters
This method returns the necessary width for the node.
getName() - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
 
getNeighbours() - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph.Node
 
getNoteHeight() - Method in class at.ac.tuwien.dbai.alternation.gui.Format
Returns the height of a node.
getNoteWidth() - Method in class at.ac.tuwien.dbai.alternation.gui.Format
Returns the width of a node.
getObject() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
getObject() - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
getObject() - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph.Node
 
getOut() - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit.Gate
 
getOutGate(int) - Method in class at.ac.tuwien.dbai.alternation.examples.Circuit
 
getParents() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
getParents() - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
getParents(ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTreeCyclic
 
getRoot() - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
 
getScrollbarSize() - Method in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
getShortInformation(GWorktape, String) - Method in class at.ac.tuwien.dbai.alternation.gui.DefaultFormat
 
getShortInformation(GWorktape, String) - Method in class at.ac.tuwien.dbai.alternation.gui.Format
This method defines a short output of a given worktape and the state of a node.
getSpace() - Method in class at.ac.tuwien.dbai.alternation.gui.MainFrame
 
getState() - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
 
getStateId(String) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
returns a states id for a given name
getStateName(Byte) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
returns a states name for a given id
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.additiveExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.andExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arg_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.args_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arguments_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arrayCreator_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arrayInitializer_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.assignmentOperator_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atm_file_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atm_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atmJava_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.block_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.blockStatement_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.booleanLiteral_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.castExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.catchClause_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.catches_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.classOrInterfaceType_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalAndExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalOrExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.constantExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.createdName_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.declaration_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.enhancedForControl_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.equalityExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.exclusiveOrExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.explicitGenericInvocation_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.expression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.expressionList_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forControl_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forInit_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.formalParameter_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forUpdate_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.head_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.identifierSuffix_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.importDeclaration_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.inclusiveOrExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.input_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.instanceOfExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.integerLiteral_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.literal_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.localVariableDeclaration_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.multiplicativeExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.nondeterminism_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.nonWildcardTypeArguments_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.oneDimensionalArrayType_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.packageDecl_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.parExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.primary_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.primitiveType_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.qualifiedName_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.relationalExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.relationalOp_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.selector_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.shiftExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.shiftOp_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.state_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateBlock_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateCall_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateLoop_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.statement_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.statementExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateStatement_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchBlockStatementGroup_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchBlockStatementGroups_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchLabel_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.type_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeArgument_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeArguments_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeList_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.unaryExpression_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.unaryExpressionNotPlusMinus_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclarator_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclaratorId_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclarators_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableInitializer_return
 
getTemplate() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.worktape_return
 
getTemplateLib() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
getTokenNames() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
getWorktape() - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
 
getWorktapeGraph() - Method in class at.ac.tuwien.dbai.alternation.gui.MainFrame
Returns the worktape-graph.
getX() - Method in class at.ac.tuwien.dbai.alternation.gui.tree.GraphicTreeParameters
Returns the x-coordinate of the node.
getY() - Method in class at.ac.tuwien.dbai.alternation.gui.tree.GraphicTreeParameters
Returns the y-coordinate of the node.
getYPosition() - Method in class at.ac.tuwien.dbai.alternation.gui.list.GraphicListParameters
Returns the y-coordinate of the node.
GGAtm - Class in at.ac.tuwien.dbai.alternation.examples
 
GGAtm() - Constructor for class at.ac.tuwien.dbai.alternation.examples.GGAtm
 
GGAtm.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
GGAtm.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
goal - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Inputtape
 
goal - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Inputtape
 
goal - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Inputtape
 
goal - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn.Inputtape
 
goal - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn2.Inputtape
 
goal - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn3.Inputtape
 
goal - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Inputtape
 
goal - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Inputtape
 
Graph<NTyp> - Class in at.ac.tuwien.dbai.alternation.examples
A directed graph
Graph() - Constructor for class at.ac.tuwien.dbai.alternation.examples.Graph
 
graph - Variable in class at.ac.tuwien.dbai.alternation.examples.LFMC.Inputtape
 
Graph.Node<NTyp> - Class in at.ac.tuwien.dbai.alternation.examples
Node in a directed graph
Graph.Node(NTyp) - Constructor for class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
GraphGame - Class in at.ac.tuwien.dbai.alternation.examples
 
GraphGame() - Constructor for class at.ac.tuwien.dbai.alternation.examples.GraphGame
 
GraphGame.Position - Class in at.ac.tuwien.dbai.alternation.examples
 
GraphGame.Position(boolean) - Constructor for class at.ac.tuwien.dbai.alternation.examples.GraphGame.Position
 
GraphicListParameters<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui.list
This class is used in gui.Node to save the graphical information for the list-view of the node.
GraphicListParameters(Node<GInputtape, GWorktape>) - Constructor for class at.ac.tuwien.dbai.alternation.gui.list.GraphicListParameters
Creates a new instance of the class with a given node.
GraphicParameters - Interface in at.ac.tuwien.dbai.alternation.gui
This interface has to be implemented for graphical defails of gui.node, so it could be saved in an instance of node.
GraphicTreeParameters<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui.tree
This class is used in gui.Node to save the graphical information for the tree-view of the node.
GraphicTreeParameters(Node<GInputtape, GWorktape>) - Constructor for class at.ac.tuwien.dbai.alternation.gui.tree.GraphicTreeParameters
Creates a new instance of the class with a given node.
guard - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary.Worktape
 

H

hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.GGAtm.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn2.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn3.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.LFMC.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.MCVP.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.TicTacToe.Worktape
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Input
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Output
 
hashCode() - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
 
head() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
head - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn.Worktape
 
head - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn2.Worktape
 
head - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn3.Worktape
 
HexDigit - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
HexDigit - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
HexLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
HexLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
Horn - Class in at.ac.tuwien.dbai.alternation.examples
 
Horn() - Constructor for class at.ac.tuwien.dbai.alternation.examples.Horn
 
Horn.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
Horn.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
Horn2 - Class in at.ac.tuwien.dbai.alternation.examples
 
Horn2() - Constructor for class at.ac.tuwien.dbai.alternation.examples.Horn2
 
Horn2.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
Horn2.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
Horn3 - Class in at.ac.tuwien.dbai.alternation.examples
 
Horn3() - Constructor for class at.ac.tuwien.dbai.alternation.examples.Horn3
 
Horn3.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
Horn3.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
HornTest - Class in at.ac.tuwien.dbai.alternation.examples
 
HornTest() - Constructor for class at.ac.tuwien.dbai.alternation.examples.HornTest
 
HornTest - Class in at.ac.tuwien.dbai.alternation.gui.example
 
HornTest() - Constructor for class at.ac.tuwien.dbai.alternation.gui.example.HornTest
 

I

Identifier - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
Identifier - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
identifierSuffix() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
importDeclaration() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
In - Variable in class at.ac.tuwien.dbai.alternation.examples.Circuit.Gate
 
inclusiveOrExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
InfoPanel<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui
MainFrame uses this class as programm-info, where the information about the authors is written to.
InfoPanel(Frame, String, boolean) - Constructor for class at.ac.tuwien.dbai.alternation.gui.InfoPanel
Constructs a new instance of the info-panel.
initialState - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Inputtape
 
input() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
input - Variable in class at.ac.tuwien.dbai.alternation.examples.MCVP.Inputtape
 
inputCursor - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
inputCursor - Variable in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Output
 
inputGates - Variable in class at.ac.tuwien.dbai.alternation.examples.Circuit
 
inputSymbol - Variable in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Input
 
inputtape - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Inputtape
 
inputVariables - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
inputVariablesMap - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
instanceOfExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
integerLiteral() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
IntegerTypeSuffix - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
IntegerTypeSuffix - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
InterfaceWorktape<Inputtape> - Interface in at.ac.tuwien.dbai.alternation.runtime
Container of work variables in our alternating machine.
isAllQuantified() - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
 
isLinked() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
isLinked() - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
isLinked() - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph.Node
 
isMinimized() - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Information, if the node is minimized.
iterator() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
iterator() - Method in class at.ac.tuwien.dbai.alternation.examples.Graph
 
iterator() - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph
 
iteratorSetA() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
iteratorSetB() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 

J

JavaIDDigit - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
JavaIDDigit - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 

L

LCMT - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
LCMT - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
Letter - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
Letter - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
LFMC - Class in at.ac.tuwien.dbai.alternation.examples
Lexicographically First Maximal Clique
LFMC() - Constructor for class at.ac.tuwien.dbai.alternation.examples.LFMC
 
LFMC.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
LFMC.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
LFMCTest - Class in at.ac.tuwien.dbai.alternation.examples
 
LFMCTest() - Constructor for class at.ac.tuwien.dbai.alternation.examples.LFMCTest
 
literal() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
localVariableDeclaration() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 

M

mACCEPT() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.compiler.atmCompile
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachineTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouseTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.GraphGame
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.HornTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.LFMCTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.MCVPTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomataTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.PebbleTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.examples.TicTacToeTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.gui.example.CatAndMouseTest
 
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.gui.example.HornTest
Executes the HORN ALter-Java program on an instance and visualizes the resulting computation tree in the Alter-Java GUI.
main(String[]) - Static method in class at.ac.tuwien.dbai.alternation.gui.example.TicTacToeTest
 
MainFrame<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui
Creates a user-interface of a given computation-tree.
MainFrame(ComputationTree<GWorktape>, Format<GInputtape, GWorktape>, int) - Constructor for class at.ac.tuwien.dbai.alternation.gui.MainFrame
Creates a new instance of a computation-tree with a given format of output.
MainFrame(ComputationTree<GWorktape>, Format<GInputtape, GWorktape>) - Constructor for class at.ac.tuwien.dbai.alternation.gui.MainFrame
Creates a new instance of a computation-tree with a given format of output.
mainframe - Variable in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
makegbc(int, int, int, int) - Method in class at.ac.tuwien.dbai.alternation.gui.MainFrame
Constructs a new GridBagConstraint for setting the layout of items.
markedNode - Variable in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
matchNode(Point) - Method in class at.ac.tuwien.dbai.alternation.gui.list.GraphicListParameters
Checks, if the node is situated at a given point.
matchPoint(Point, Format<GInputtape, GWorktape>) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.GraphicTreeParameters
Gives Information, if a point is situated at a node.
maximize(Node<GInputtape, GWorktape>, int) - Method in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
Maximize a given node and his children.
MaximizePanel<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui
 
MaximizePanel(MainFrame<GInputtape, GWorktape>, String, boolean) - Constructor for class at.ac.tuwien.dbai.alternation.gui.MaximizePanel
 
mCharacterLiteral() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mCMT() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
MCVP - Class in at.ac.tuwien.dbai.alternation.examples
Monotone Circuit Value Problem
MCVP() - Constructor for class at.ac.tuwien.dbai.alternation.examples.MCVP
 
MCVP.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
MCVP.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
MCVPTest - Class in at.ac.tuwien.dbai.alternation.examples
 
MCVPTest() - Constructor for class at.ac.tuwien.dbai.alternation.examples.MCVPTest
 
mDecimalLiteral() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mEscapeSequence() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mEXISTS() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mExponent() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mFloatingPointLiteral() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mFloatTypeSuffix() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mFORALL() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mHexDigit() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mHexLiteral() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mIdentifier() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
minHeight - Variable in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
minimize(Node<GInputtape, GWorktape>, int) - Method in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
mIntegerTypeSuffix() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
minWidth - Variable in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
mJavaIDDigit() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mLCMT() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mLetter() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mOctalEscape() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mOctalLiteral() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mouseClicked(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
 
mouseClicked(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 
mouseDragged(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
 
mouseDragged(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 
mouseEntered(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
 
mouseEntered(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 
mouseExited(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
 
mouseExited(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 
mouseMoved(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
 
mouseMoved(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 
mousePosition - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Worktape
 
mousePosition - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Worktape
 
mousePosition - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Worktape
 
mousePressed(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
 
mousePressed(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 
mouseReleased(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
 
mouseReleased(MouseEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 
mouseStart - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Inputtape
 
mouseStart - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Inputtape
 
mouseStart - Variable in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Inputtape
 
mREJECT() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mStringLiteral() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__100() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__27() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__28() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__29() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__30() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__31() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__32() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__33() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__34() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__35() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__36() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__37() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__38() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__39() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__40() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__41() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__42() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__43() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__44() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__45() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__46() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__47() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__48() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__49() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__50() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__51() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__52() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__53() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__54() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__55() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__56() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__57() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__58() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__59() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__60() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__61() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__62() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__63() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__64() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__65() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__66() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__67() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__68() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__69() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__70() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__71() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__72() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__73() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__74() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__75() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__76() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__77() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__78() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__79() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__80() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__81() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__82() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__83() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__84() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__85() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__86() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__87() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__88() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__89() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__90() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__91() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__92() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__93() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__94() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__95() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__96() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__97() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__98() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mT__99() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mTokens() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
multiplicativeExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
mUnicodeEscape() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
mWS() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
MyCanvas<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui
My Canvas is the super-class for instancing the canvas-space in gui.MainFrame.
MyCanvas(MainFrame<GInputtape, GWorktape>, ComputationTree<GWorktape>, Format<GInputtape, GWorktape>, int) - Constructor for class at.ac.tuwien.dbai.alternation.gui.MyCanvas
Creates a new instance of the class and saves the necessary parameters.
MyCanvas(MainFrame<GInputtape, GWorktape>, ComputationTree<GWorktape>, Format<GInputtape, GWorktape>, int, Node<GInputtape, GWorktape>, Node<GInputtape, GWorktape>, Dimension) - Constructor for class at.ac.tuwien.dbai.alternation.gui.MyCanvas
Creates a new instance with a given root-node and the selected node of the class and saves the necessary parameters.
MyCanvasList<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui.list
This class displays a list of a given computation-tree.
MyCanvasList(MainFrame<GInputtape, GWorktape>, ComputationTree<GWorktape>, Format<GInputtape, GWorktape>, int) - Constructor for class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
Creates a new instance of the class with a given computation-tree.
MyCanvasList(MainFrame<GInputtape, GWorktape>, ComputationTree<GWorktape>, Format<GInputtape, GWorktape>, int, Node<GInputtape, GWorktape>, Node<GInputtape, GWorktape>, Dimension) - Constructor for class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
Creates a new instance of the class with a given computation-tree, a given root-node and the selected node of the root-node.
MyCanvasTree<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui.tree
This class displays a tree of a given computation-tree.
MyCanvasTree(MainFrame<GInputtape, GWorktape>, ComputationTree<GWorktape>, Format<GInputtape, GWorktape>, int) - Constructor for class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
Creates a new instance of the class with a given computation-tree.
MyCanvasTree(MainFrame<GInputtape, GWorktape>, ComputationTree<GWorktape>, Format<GInputtape, GWorktape>, int, Node<GInputtape, GWorktape>, Node<GInputtape, GWorktape>, Dimension) - Constructor for class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 

N

neighboursIterator() - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph.Node
 
newState - Variable in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Output
 
node - Variable in class at.ac.tuwien.dbai.alternation.examples.LFMC.Worktape
 
Node<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui
The class Node represents a node in the program and containts the whole structural information.
Node(ComputationTree<GWorktape>, ComputationNode<GWorktape>, int, Node.GraphicParametersInstances) - Constructor for class at.ac.tuwien.dbai.alternation.gui.Node
Creates a new node with the referenced computation-node and his computation-tree.
Node.GraphicParametersInstances - Enum in at.ac.tuwien.dbai.alternation.gui
 
nodes - Variable in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
 
nondeterminism() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
nonWildcardTypeArguments() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
number - Variable in class at.ac.tuwien.dbai.alternation.examples.GraphGame.Position
 

O

OctalEscape - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
OctalEscape - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
OctalLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
OctalLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
oneDimensionalArrayType() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
OneDimensionalCellularAutomata - Class in at.ac.tuwien.dbai.alternation.examples
 
OneDimensionalCellularAutomata() - Constructor for class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata
 
OneDimensionalCellularAutomata.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
OneDimensionalCellularAutomata.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
OneDimensionalCellularAutomataTest - Class in at.ac.tuwien.dbai.alternation.examples
 
OneDimensionalCellularAutomataTest() - Constructor for class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomataTest
 
Out - Variable in class at.ac.tuwien.dbai.alternation.examples.Circuit.Gate
 
outIndex - Variable in class at.ac.tuwien.dbai.alternation.examples.MCVP.Inputtape
 
outputGates - Variable in class at.ac.tuwien.dbai.alternation.examples.Circuit
 

P

packageDecl() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
paint(Graphics) - Method in class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
 
paint(Graphics) - Method in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
paint(Graphics) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 
paintWorktape(GWorktape, String, Graphics, Dimension) - Method in class at.ac.tuwien.dbai.alternation.gui.DefaultFormat
 
paintWorktape(GWorktape, String, Graphics, Dimension) - Method in class at.ac.tuwien.dbai.alternation.gui.Format
This method paints the worktape of a given node into a given Graphics object.
paper - Variable in class at.ac.tuwien.dbai.alternation.examples.TicTacToe.Worktape
 
parentIterator() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
parentIterator() - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
parents - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Worktape
 
parExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
PEBBLE - Class in at.ac.tuwien.dbai.alternation.examples
 
PEBBLE() - Constructor for class at.ac.tuwien.dbai.alternation.examples.PEBBLE
 
PEBBLE.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
PEBBLE.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
PEBBLE2 - Class in at.ac.tuwien.dbai.alternation.examples
 
PEBBLE2() - Constructor for class at.ac.tuwien.dbai.alternation.examples.PEBBLE2
 
PEBBLE2.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
PEBBLE2.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
pebbles - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Inputtape
 
pebbles - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Inputtape
 
PebbleTest - Class in at.ac.tuwien.dbai.alternation.examples
 
PebbleTest() - Constructor for class at.ac.tuwien.dbai.alternation.examples.PebbleTest
 
position - Variable in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic.Worktape
 
position - Variable in class at.ac.tuwien.dbai.alternation.examples.GGAtm.Worktape
 
position - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Worktape
 
positiveWays(Node<GInputtape, GWorktape>, int) - Method in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
primary() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
primitiveType() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
primitiveTypes - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
put(String, Object) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.STAttrMap
 
put(String, int) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.STAttrMap
 
put(ComputationNode<GWorktape>, Boolean) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
 

Q

qualifiedName() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 

R

r - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Inputtape
 
REJECT - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
REJECT - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
REJECT - Static variable in class at.ac.tuwien.dbai.alternation.runtime.ResultTuple
ResultTuple the means a computation rejects
reject - Variable in class at.ac.tuwien.dbai.alternation.runtime.ResultTuple
 
relationalExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
relationalOp() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
removeChild(BipartiteGraph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
removeChild(Graph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
removeEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
removeEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.Graph
 
removeEdge(NTyp, NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph
 
removeNeighbour(UndirectedGraph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph.Node
 
removeNode(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
removeNode(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.Graph
 
removeNode(NTyp) - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph
 
removeNullEdges(ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTreeCyclic
 
removeParent(BipartiteGraph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
removeParent(Graph.Node<NTyp>) - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
repaint(int, int, int, int) - Method in class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList
 
repaint() - Method in class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree
 
reset(AcyclicGeographic.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic.Worktape
 
reset(AlternatingTuringMachine.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
reset(BipartiteArgumentationCredulous.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous.Worktape
 
reset(BipartiteArgumentationCredulousElementary.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary.Worktape
 
reset(BipartiteArgumentationSceptical.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical.Worktape
 
reset(CatAndMouse.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Worktape
 
reset(CatAndMouse2.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Worktape
 
reset(CatAndMouse3.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Worktape
 
reset(CoBipartiteArgumentationCredulous.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous.Worktape
 
reset(GGAtm.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.GGAtm.Worktape
 
reset(Horn.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.Horn.Worktape
 
reset(Horn2.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.Horn2.Worktape
 
reset(Horn3.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.Horn3.Worktape
 
reset(LFMC.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.LFMC.Worktape
 
reset(MCVP.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.MCVP.Worktape
 
reset(OneDimensionalCellularAutomata.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Worktape
 
reset(PEBBLE.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Worktape
 
reset(PEBBLE2.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Worktape
 
reset(TicTacToe.Inputtape) - Method in class at.ac.tuwien.dbai.alternation.examples.TicTacToe.Worktape
 
reset(Inputtape) - Method in interface at.ac.tuwien.dbai.alternation.runtime.InterfaceWorktape
 
resetWorktape(Graphics, int, int) - Method in class at.ac.tuwien.dbai.alternation.gui.DefaultFormat
 
resetWorktape(Graphics, int, int) - Method in class at.ac.tuwien.dbai.alternation.gui.Format
This method resets the Graphics object of worktape.
ResultTuple<GWorktape> - Class in at.ac.tuwien.dbai.alternation.runtime
Result of a state-computation on a worktape.
ResultTuple(boolean, boolean, boolean) - Constructor for class at.ac.tuwien.dbai.alternation.runtime.ResultTuple
Constructor
ResultTuple.AtmConfiguration<GWorktape> - Class in at.ac.tuwien.dbai.alternation.runtime
simple container to save pairs of states and worktapes
ResultTuple.AtmConfiguration(byte, GWorktape) - Constructor for class at.ac.tuwien.dbai.alternation.runtime.ResultTuple.AtmConfiguration
 
root - Variable in class at.ac.tuwien.dbai.alternation.gui.MyCanvas
 
rphi - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Inputtape
 
rules - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn.Inputtape
 
rules - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn2.Inputtape
 
rules - Variable in class at.ac.tuwien.dbai.alternation.examples.Horn3.Inputtape
 
rules - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Inputtape
 
rules - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Inputtape
 

S

S - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Worktape
 
S - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Worktape
 
selector() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
setFormat(int, int, int, int) - Method in class at.ac.tuwien.dbai.alternation.gui.Format
Redefines the measures of the notes with new parameters.
setFreeSpace(int) - Method in class at.ac.tuwien.dbai.alternation.gui.Format
Defines the space between two children next to each other.
setGraphicParameters(Node.GraphicParametersInstances) - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Sets an instance of the interface GraphicParameters by a given enum.
setInput(GInputtape) - Method in class at.ac.tuwien.dbai.alternation.runtime.State
 
setInstance(Node.GraphicParametersInstances) - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Sets the GraphicParameter to a new instance.
setLineLength(int) - Method in class at.ac.tuwien.dbai.alternation.gui.Format
Defines the space between parent and child.
setMinimized(boolean) - Method in class at.ac.tuwien.dbai.alternation.gui.Node
Sets the minimized-status of the node.
setName(String) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
 
setNameToStateId(String, Byte) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
maps the state name with its id
setNodeDeepTextField(String) - Method in class at.ac.tuwien.dbai.alternation.gui.MainFrame
Sets the deep of the node-textfield.
setNodeQuantifierTextField(String) - Method in class at.ac.tuwien.dbai.alternation.gui.MainFrame
Sets the quantifier of the node-textfield.
setNoteHeight(int) - Method in class at.ac.tuwien.dbai.alternation.gui.Format
Defines the height of a node.
setNoteWidth(int) - Method in class at.ac.tuwien.dbai.alternation.gui.Format
Defines the width of a node.
setNumberOfNodesTextField(String) - Method in class at.ac.tuwien.dbai.alternation.gui.MainFrame
Sets the deepest calculated deep of the tree.
setPoint(int, int) - Method in class at.ac.tuwien.dbai.alternation.gui.tree.GraphicTreeParameters
Defines the position of the node in the canvas-tree.
setQuantifier(boolean) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
 
setRoot(ComputationNode<GWorktape>) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
 
setStateIdToName(Byte, String) - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationTree
maps the state id with its name
setTemplateLib(StringTemplateGroup) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
setWorktapeText(String) - Method in class at.ac.tuwien.dbai.alternation.gui.MainFrame
Sets the text of the worktape-text.
setYPosition(int) - Method in class at.ac.tuwien.dbai.alternation.gui.list.GraphicListParameters
Sets the y-coordinate of the node.
shiftExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
shiftOp() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
size() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph
 
size() - Method in class at.ac.tuwien.dbai.alternation.examples.Graph
 
size() - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph
 
specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA46
 
specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA47
 
specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA49
 
specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA50
 
specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA62
 
specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA68
 
specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA69
 
specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA72
 
specialStateTransition(int, IntStream) - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.DFA76
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.additiveExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.andExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arg_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.args_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arguments_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arrayCreator_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arrayInitializer_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.assignmentOperator_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atm_file_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atm_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atmJava_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.block_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.blockStatement_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.booleanLiteral_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.castExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.catchClause_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.catches_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.classOrInterfaceType_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalAndExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalOrExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.constantExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.createdName_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.declaration_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.enhancedForControl_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.equalityExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.exclusiveOrExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.explicitGenericInvocation_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.expression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.expressionList_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forControl_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forInit_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.formalParameter_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forUpdate_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.head_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.identifierSuffix_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.importDeclaration_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.inclusiveOrExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.input_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.instanceOfExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.integerLiteral_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.literal_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.localVariableDeclaration_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.multiplicativeExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.nondeterminism_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.nonWildcardTypeArguments_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.oneDimensionalArrayType_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.packageDecl_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.parExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.primary_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.primitiveType_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.qualifiedName_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.relationalExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.relationalOp_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.selector_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.shiftExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.shiftOp_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.state_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateBlock_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateCall_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateLoop_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.statement_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.statementExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateStatement_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchBlockStatementGroup_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchBlockStatementGroups_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchLabel_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.type_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeArgument_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeArguments_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeList_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.unaryExpression_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.unaryExpressionNotPlusMinus_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclarator_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclaratorId_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclarators_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableInitializer_return
 
st - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.worktape_return
 
startNode - Variable in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic.Inputtape
 
startNode - Variable in class at.ac.tuwien.dbai.alternation.examples.GGAtm.Inputtape
 
startSet - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Inputtape
 
startSet - Variable in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Inputtape
 
state() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
state - Variable in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Input
 
state - Variable in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
the id of the state
state - Variable in class at.ac.tuwien.dbai.alternation.runtime.ResultTuple.AtmConfiguration
 
State<GInputtape,GWorktape> - Class in at.ac.tuwien.dbai.alternation.runtime
abstract class representing a state of the alternating machine
State() - Constructor for class at.ac.tuwien.dbai.alternation.runtime.State
 
stateBlock() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
stateCall() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
stateLoop() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
statement() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
statementExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
states - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
stateStatement() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
stateType - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Inputtape
 
StringLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
StringLiteral - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
successors - Variable in class at.ac.tuwien.dbai.alternation.runtime.ResultTuple
 
switchBlockStatementGroup() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
switchBlockStatementGroups() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
switchLabel() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred105_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred105_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred106_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred106_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred109_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred109_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred10_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred10_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred110_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred110_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred111_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred111_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred123_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred123_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred127_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred127_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred128_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred128_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred131_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred131_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred132_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred132_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred138_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred138_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred155_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred155_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred160_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred160_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred161_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred161_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred51_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred51_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred56_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred56_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred57_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred57_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred73_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred73_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred76_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred76_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred80_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred80_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred82_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred82_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred8_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred8_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred92_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred92_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred93_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred93_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred94_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred94_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred9_alternating_machine() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
synpred9_alternating_machine_fragment() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 

T

T - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Inputtape
 
t - Variable in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Worktape
 
T__100 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__100 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__27 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__27 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__28 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__28 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__29 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__29 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__30 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__30 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__31 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__31 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__32 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__32 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__33 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__33 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__34 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__34 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__35 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__35 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__36 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__36 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__37 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__37 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__38 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__38 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__39 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__39 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__40 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__40 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__41 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__41 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__42 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__42 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__43 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__43 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__44 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__44 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__45 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__45 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__46 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__46 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__47 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__47 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__48 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__48 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__49 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__49 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__50 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__50 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__51 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__51 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__52 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__52 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__53 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__53 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__54 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__54 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__55 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__55 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__56 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__56 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__57 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__57 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__58 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__58 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__59 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__59 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__60 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__60 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__61 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__61 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__62 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__62 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__63 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__63 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__64 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__64 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__65 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__65 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__66 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__66 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__67 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__67 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__68 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__68 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__69 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__69 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__70 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__70 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__71 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__71 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__72 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__72 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__73 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__73 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__74 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__74 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__75 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__75 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__76 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__76 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__77 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__77 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__78 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__78 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__79 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__79 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__80 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__80 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__81 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__81 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__82 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__82 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__83 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__83 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__84 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__84 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__85 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__85 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__86 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__86 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__87 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__87 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__88 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__88 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__89 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__89 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__90 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__90 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__91 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__91 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__92 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__92 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__93 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__93 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__94 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__94 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__95 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__95 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__96 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__96 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__97 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__97 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__98 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__98 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
T__99 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
T__99 - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
templateLib - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
TicTacToe - Class in at.ac.tuwien.dbai.alternation.examples
 
TicTacToe() - Constructor for class at.ac.tuwien.dbai.alternation.examples.TicTacToe
 
TicTacToe.Inputtape - Class in at.ac.tuwien.dbai.alternation.examples
 
TicTacToe.Worktape - Class in at.ac.tuwien.dbai.alternation.examples
 
TicTacToeTest - Class in at.ac.tuwien.dbai.alternation.examples
 
TicTacToeTest() - Constructor for class at.ac.tuwien.dbai.alternation.examples.TicTacToeTest
 
TicTacToeTest - Class in at.ac.tuwien.dbai.alternation.gui.example
 
TicTacToeTest() - Constructor for class at.ac.tuwien.dbai.alternation.gui.example.TicTacToeTest
 
tokenNames - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.additiveExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.andExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arg_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.args_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arguments_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arrayCreator_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.arrayInitializer_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.assignmentOperator_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atm_file_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atm_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.atmJava_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.block_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.blockStatement_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.booleanLiteral_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.castExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.catchClause_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.catches_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.classOrInterfaceType_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalAndExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.conditionalOrExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.constantExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.createdName_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.declaration_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.enhancedForControl_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.equalityExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.exclusiveOrExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.explicitGenericInvocation_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.expression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.expressionList_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forControl_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forInit_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.formalParameter_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.forUpdate_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.head_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.identifierSuffix_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.importDeclaration_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.inclusiveOrExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.input_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.instanceOfExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.integerLiteral_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.literal_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.localVariableDeclaration_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.multiplicativeExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.nondeterminism_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.nonWildcardTypeArguments_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.oneDimensionalArrayType_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.packageDecl_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.parExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.primary_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.primitiveType_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.qualifiedName_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.relationalExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.relationalOp_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.selector_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.shiftExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.shiftOp_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.state_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateBlock_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateCall_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateLoop_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.statement_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.statementExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.stateStatement_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchBlockStatementGroup_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchBlockStatementGroups_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.switchLabel_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.type_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeArgument_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeArguments_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.typeList_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.unaryExpression_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.unaryExpressionNotPlusMinus_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclarator_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclaratorId_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableDeclarators_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.variableInitializer_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.worktape_return
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.AcyclicGeographic.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.BipartiteGraph.Node
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse2.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.CatAndMouse3.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.GGAtm.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.Graph.Node
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.GraphGame.Position
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn2.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.Horn3.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.LFMC.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.MCVP.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.OneDimensionalCellularAutomata.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.PEBBLE2.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.TicTacToe.Worktape
 
toString() - Method in class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph.Node
 
toString() - Method in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
 
TransitionFunction - Class in at.ac.tuwien.dbai.alternation.examples
Transition Function delta for a nondeterministic 2-string Turing machines
TransitionFunction() - Constructor for class at.ac.tuwien.dbai.alternation.examples.TransitionFunction
 
TransitionFunction.Input - Class in at.ac.tuwien.dbai.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.alternation.examples.TransitionFunction.Input
 
TransitionFunction.Output - Class in at.ac.tuwien.dbai.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.alternation.examples.TransitionFunction.Output
 
TreeFormatPanel<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> - Class in at.ac.tuwien.dbai.alternation.gui.tree
TreeFormatPanel is used for defining the measures of nodes and the space between the nodes.
TreeFormatPanel(MainFrame<GInputtape, GWorktape>, String, boolean) - Constructor for class at.ac.tuwien.dbai.alternation.gui.tree.TreeFormatPanel
Constructs a new instance-dialog.
type() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
type - Variable in class at.ac.tuwien.dbai.alternation.examples.Circuit.Gate
 
typeArgument() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
typeArguments() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
typeList() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 

U

unaryExpression() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
unaryExpressionNotPlusMinus() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
UndirectedGraph<NTyp> - Class in at.ac.tuwien.dbai.alternation.examples
An undirected graph
UndirectedGraph() - Constructor for class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph
 
UndirectedGraph.Node<NTyp> - Class in at.ac.tuwien.dbai.alternation.examples
A node in an undirected graph
UndirectedGraph.Node(NTyp) - Constructor for class at.ac.tuwien.dbai.alternation.examples.UndirectedGraph.Node
 
UnicodeEscape - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
UnicodeEscape - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
USAGE - Static variable in class at.ac.tuwien.dbai.alternation.compiler.atmCompile
 

V

valueOf(String) - Static method in enum at.ac.tuwien.dbai.alternation.examples.Circuit.GateTypes
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum at.ac.tuwien.dbai.alternation.gui.Node.GraphicParametersInstances
Returns the enum constant of this type with the specified name.
values() - Static method in enum at.ac.tuwien.dbai.alternation.examples.Circuit.GateTypes
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum at.ac.tuwien.dbai.alternation.gui.Node.GraphicParametersInstances
Returns an array containing the constants of this enum type, in the order they are declared.
variableDeclarator() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
variableDeclaratorId() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
variableDeclarators() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
variableInitializer() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
vertex - Variable in class at.ac.tuwien.dbai.alternation.examples.LFMC.Inputtape
 

W

windowClosing(WindowEvent) - Method in class at.ac.tuwien.dbai.alternation.gui.WindowClosingAdapter
Shuts down the given Window.
WindowClosingAdapter - Class in at.ac.tuwien.dbai.alternation.gui
Window-Adapter for closing any Window-Frames.
WindowClosingAdapter(boolean) - Constructor for class at.ac.tuwien.dbai.alternation.gui.WindowClosingAdapter
Creates a new instance with a given boolean-parameter.
WindowClosingAdapter() - Constructor for class at.ac.tuwien.dbai.alternation.gui.WindowClosingAdapter
Creates a new instance.
winning - Variable in class at.ac.tuwien.dbai.alternation.examples.GraphGame.Position
 
workCursor - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
workCursor - Variable in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Output
 
workInitialization - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
workSymbol - Variable in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Input
 
workSymbol - Variable in class at.ac.tuwien.dbai.alternation.examples.TransitionFunction.Output
 
worktape() - Method in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
worktape - Variable in class at.ac.tuwien.dbai.alternation.examples.AlternatingTuringMachine.Worktape
 
worktape - Variable in class at.ac.tuwien.dbai.alternation.runtime.ComputationNode
container with work variables
worktape - Variable in class at.ac.tuwien.dbai.alternation.runtime.ResultTuple.AtmConfiguration
 
workVariables - Variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 
WS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineLexer
 
WS - Static variable in class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser
 

X

x - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulous.Inputtape
 
x - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationCredulousElementary.Inputtape
 
x - Variable in class at.ac.tuwien.dbai.alternation.examples.BipartiteArgumentationSceptical.Inputtape
 
x - Variable in class at.ac.tuwien.dbai.alternation.examples.CoBipartiteArgumentationCredulous.Inputtape
 

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