<toc topic="index.html" label="The VIATRA2 Model Transformation Framework">
	<topic href="sec_VTCLSpec.html"
		label="Viatra Textual Command Language (VTCL) Specification">
		<topic href="sec_MainVtclConcepts.html" label="VTCL Files and Machines (Transformations)">
			<topic href="sec_VtclFile.html" label="VTCL Files">
				<topic href="def_VtclFile.html" label="VTCL file"></topic>
				<topic href="def_NamespaceDefinition.html" label="Namespace Definition"></topic>
				<topic href="def_NamespaceImport.html" label="Namespace Import"></topic>
			</topic>
			<topic href="sec_MachineDefinition.html" label="Machine Definition">
				<topic href="def_Machine.html" label="GTASM Machine Definition"></topic>
				<topic href="def_Annotation.html" label="Annotation"></topic>
			</topic>
		</topic>
		<topic href="sec_GraphPatterns.html" label="Graph Patterns">
			<topic href="sec_PatternDefinition.html" label="Pattern Definition">
				<topic href="def_GraphPatternDef.html" label="Graph Pattern Definition"></topic>
				<topic href="def_PatternBody.html" label="Pattern Body"></topic>
				<topic href="def_NegativePattern.html" label="Negative Pattern"></topic>
				<topic href="def_GraphPatternCall.html" label="Graph Pattern Call"></topic>
				<topic href="def_PatternComposition.html" label="Pattern Composition"></topic>
				<topic href="def_PatternVariable.html" label="Pattern Variable"></topic>
				<topic href="def_PatternVariableAssignment.html" label="Pattern Variable Assignment"></topic>
				<topic href="def_CheckCondition.html" label="Check Condition"></topic>
				<topic href="def_ContainmentConstraint.html" label="Containment Constraint"></topic>
			</topic>
			<topic href="sec_LocalPatternlElementDescription.html" label="Local Pattern Body Elements">
				<topic href="def_Entity.html" label="Entity"></topic>
				<topic href="def_Relation.html" label="Relation"></topic>
				<topic href="def_Relationship.html" label="Relationships"></topic>
			</topic>
		</topic>
		<topic href="sec_GraphTransformations.html" label="Graph Transformation Rules">
			<topic href="sec_DefGTRule.html" label="Definition of Graph Transformation Rules">
				<topic href="def_GTRuleDef.html" label="Graph Transformation Rule Definition"></topic>
			</topic>
			<topic href="sec_GTParamPass.html" label="Parameter passing at Graph Transformation Rules"></topic>
			<topic href="sec_GTRuleBehaviour.html"
				label="Behavioural Specification of Graph Transformation Rules">
				<topic href="sec_PostconditionRestriction.html"
					label="Restrictions of model elements used in postcondition patterns"></topic>
				<topic href="sec_PostconditionSpec.html"
					label="Complete behavioral specification of postcondition patterns"></topic>
				<topic href="sec_ConflictHandling.html" label="Handling of conflicts"></topic>
			</topic>
			<topic href="sec_InvokeGTRule.html" label="Invocation of Graph Transformation Rules">
				<topic href="def_GTRuleCall.html" label="GTRule Call"></topic>
			</topic>
		</topic>
		<topic href="sec_ASMRules.html" label="ASM Rules">
			<topic href="sec_DefASMRule.html" label="ASM Rule Definition and Invocation">
				<topic href="def_AsmRuleDef.html" label="ASM Rule Definition"></topic>
				<topic href="def_AsmRuleInvoc.html" label="ASM Rule Invocation"></topic>
			</topic>
			<topic href="sec_ASMSimpleRules.html" label="Simple ASM Rules">
				<topic href="def_SimpleRule.html" label="Simple Rule"></topic>
				<topic href="def_CallRule.html" label="Call Rule"></topic>
				<topic href="def_SkipRule.html" label="Skip Rule"></topic>
				<topic href="def_FailRule.html" label="Fail Rule"></topic>
				<topic href="def_UpdateRule.html" label="Update Rule"></topic>
				<topic href="def_PrintRule.html" label="Print Rule"></topic>
				<topic href="def_LogRule.html" label="Log Rule"></topic>
			</topic>
			<topic href="sec_ASMCompoundRules.html" label="Compound ASM Rules">
				<topic href="def_CompoundRule.html" label="Compound Rule"></topic>
				<topic href="def_SequentialRule.html" label="Sequential Rule"></topic>
				<topic href="def_ParallelRule.html" label="Parallel Rule"></topic>
				<topic href="def_RandomRule.html" label="Random Rule"></topic>
				<topic href="def_LetRule.html" label="Let Rule"></topic>
				<topic href="def_ChooseRule.html" label="Choose Rule"></topic>
				<topic href="def_ForallRule.html" label="Forall Rule"></topic>
				<topic href="def_IterateRule.html" label="Iterate Rule"></topic>
				<topic href="def_IfRule.html" label="If Rule"></topic>
				<topic href="def_TryRule.html" label="Try Rule"></topic>
			</topic>
			<topic href="sec_ASMModelManipulationRules.html" label="Model Manipulation Rules">
				<topic href="def_ModelManipulationRule.html" label="Model Manipulation Rule"></topic>
				<topic href="def_CreateRule.html" label="Create Rule"></topic>
				<topic href="def_DeleteRule.html" label="Delete Rule"></topic>
				<topic href="def_CopyRule.html" label="Copy Rule"></topic>
				<topic href="def_MoveRule.html" label="Move Rule"></topic>
				<topic href="def_ElementUpdateRule.html" label="Element Update   Rule"></topic>
			</topic>
		</topic>
		<topic href="sec_ASMTermsFormulas.html" label="ASM Terms and ASM Functions">
			<topic href="sec_ASMTerms.html" label="ASM Terms: An Overview">
				<topic href="def_Term.html" label="ASM Term"></topic>
			</topic>
			<topic href="sec_ASMLogicalTerms.html" label="Logical Terms">
				<topic href="def_LogicalTerm.html" label="Logical Term"></topic>
				<topic href="def_ConjLogicalTerm.html" label="Conjunctive Logical Term (Logical And Term)"></topic>
				<topic href="def_BaseLogicalTerm.html" label="Base Logical Term"></topic>
			</topic>
			<topic href="sec_ASMArithmeticTerms.html" label="Arithmetic Terms">
				<topic href="def_ArithmeticTerm.html" label="Arithmetic Term"></topic>
				<topic href="def_MultArithmeticTerm.html" label="Multiplicative   Arithmetic Term"></topic>
				<topic href="def_UnaryArithmeticTerm.html" label="Unary Arithmetic Term"></topic>
				<topic href="def_BaseArithmeticTerm.html" label="Base Arithmetic Term"></topic>
			</topic>
			<topic href="sec_ASMConstants.html" label="Constants">
				<topic href="def_AsmConstant.html" label="ASM Constant (Value)"></topic>
				<topic href="def_UndefinedValue.html" label="Undefined Value"></topic>
				<topic href="def_BooleanConstant.html" label="Boolean Constant"></topic>
				<topic href="def_MultiplicityConstant.html" label="Multiplicity Constant"></topic>
				<topic href="def_StringConstant.html" label="String Constant"></topic>
				<topic href="def_IntConstant.html" label="Integer Constants"></topic>
				<topic href="def_FloatConstant.html" label="Float Constant"></topic>
				<topic href="def_ModelElementConstant.html" label="Model Element Constant"></topic>
			</topic>
			<topic href="sec_ASMFunctions.html" label="ASM Functions">
				<topic href="def_AsmFunctionDef.html" label="ASM Function Definition"></topic>
				<topic href="def_InitialValue.html" label="Initial Value"></topic>
				<topic href="def_AsmFunctionLocation.html" label="ASM Function Location"></topic>
			</topic>
			<topic href="sec_PredefinedFunctions.html" label="Predefined Functions">
				<topic href="def_PredefinedFunctionCall.html" label="Predefined Function Call"></topic>
			</topic>
			<topic href="sec_NamingVariables.html" label="Naming and Variables">
				<topic href="def_ModelElementName.html" label="Model Element Name"></topic>
				<topic href="def_Variable.html" label="Variable"></topic>
			</topic>
			<topic href="sec_Parameters.html" label="Parameters and Variable Lists">
				<topic href="def_FormalParameter.html" label="Formal Parameters"></topic>
				<topic href="def_DirectedFormalParameter.html" label="Directed Formal Parameters"></topic>
				<topic href="def_ActualParameter.html" label="Actual Parameters"></topic>
				<topic href="def_ConstrainedVariableList.html" label="Constrained Variable List"></topic>
			</topic>
		</topic>
		<topic href="sec_VTCLTokens.html" label="Tokens in the VTCL Language">
			<topic href="sec_TokensOverview.html" label="VTCL tokens: An Overview">
				<topic href="def_Token.html" label="Tokens"></topic>
				<topic href="def_VTCLKeywords.html" label="Keywords"></topic>
			</topic>
			<topic href="sec_NameTokens.html" label="Tokens for names and strings">
				<topic href="def_Identifier.html" label="Identifier"></topic>
				<topic href="def_NameLiteral.html" label="Name Literal"></topic>
				<topic href="def_UpperCaseLiteral.html" label="UpperCase Literal"></topic>
				<topic href="def_StringLiteral.html" label="String Literal"></topic>
				<topic href="def_AnnotationLiteral.html" label="Annotation Literal"></topic>
			</topic>
			<topic href="sec_NumberTokens.html" label="Tokens for numbers">
				<topic href="def_IntegerLiteral.html" label="Integer Literal"></topic>
				<topic href="def_FloatLiteral.html" label="Float Literal"></topic>
			</topic>
		</topic>
	</topic>
	<topic href="sec_index.html" label="Index"></topic>
	<anchor id="contribution" />
</toc>