path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/serializer/VampireLanguageSemanticSequencer.java

/*
 * generated by Xtext 2.12.0
 */
package ca.mcgill.ecse.dslreasoner.serializer;

import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
import com.google.inject.Inject;
import java.util.Set;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.xtext.Action;
import org.eclipse.xtext.Parameter;
import org.eclipse.xtext.ParserRule;
import org.eclipse.xtext.serializer.ISerializationContext;
import org.eclipse.xtext.serializer.acceptor.SequenceFeeder;
import org.eclipse.xtext.serializer.sequencer.AbstractDelegatingSemanticSequencer;
import org.eclipse.xtext.serializer.sequencer.ITransientValueService.ValueTransient;

@SuppressWarnings("all")
public class VampireLanguageSemanticSequencer extends AbstractDelegatingSemanticSequencer {

	@Inject
	private VampireLanguageGrammarAccess grammarAccess;
	
	@Override
	public void sequence(ISerializationContext context, EObject semanticObject) {
		EPackage epackage = semanticObject.eClass().getEPackage();
		ParserRule rule = context.getParserRule();
		Action action = context.getAssignedAction();
		Set<Parameter> parameters = context.getEnabledBooleanParameters();
		if (epackage == VampireLanguagePackage.eINSTANCE)
			switch (semanticObject.eClass().getClassifierID()) {
			case VampireLanguagePackage.VLS_AND:
				sequence_VLSBinary(context, (VLSAnd) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_ANNOTATION:
				if (rule == grammarAccess.getVLSAnnotationTermsRule()) {
					sequence_VLSAnnotationTerms(context, (VLSAnnotation) semanticObject); 
					return; 
				}
				else if (rule == grammarAccess.getVLSAnnotationRule()) {
					sequence_VLSAnnotation(context, (VLSAnnotation) semanticObject); 
					return; 
				}
				else break;
			case VampireLanguagePackage.VLS_ASSIGNMENT:
				sequence_VLSUnaryInfix(context, (VLSAssignment) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_COMMENT:
				sequence_VLSComment(context, (VLSComment) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_CONSTANT:
				sequence_VLSAtomicConstant(context, (VLSConstant) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_DOUBLE_QUOTE:
				sequence_VLSDefinedTerm(context, (VLSDoubleQuote) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_EQUALITY:
				sequence_VLSUnaryInfix(context, (VLSEquality) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_EQUIVALENT:
				sequence_VLSBinary(context, (VLSEquivalent) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER:
				sequence_VLSExistentialQuantifier(context, (VLSExistentialQuantifier) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_FALSE:
				sequence_VLSAtomicConstant(context, (VLSFalse) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_FINITE_MODEL:
				sequence_VLSFiniteModel(context, (VLSFiniteModel) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_FOF_FORMULA:
				sequence_VLSFofFormula(context, (VLSFofFormula) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_FUNCTION:
				sequence_VLSAtomicFunction(context, (VLSFunction) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_FUNCTION_FOF:
				sequence_VLSFunctionFof(context, (VLSFunctionFof) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_IMPLIES:
				sequence_VLSBinary(context, (VLSImplies) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_INCLUDE:
				sequence_VLSInclude(context, (VLSInclude) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_INEQUALITY:
				sequence_VLSUnaryInfix(context, (VLSInequality) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_INT:
				sequence_VLSDefinedTerm(context, (VLSInt) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_LESS:
				sequence_VLSAtomicFunction(context, (VLSLess) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_NAME:
				sequence_VLSName(context, (VLSName) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_NAND:
				sequence_VLSBinary(context, (VLSNand) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_NOR:
				sequence_VLSBinary(context, (VLSNor) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_OR:
				sequence_VLSBinary(context, (VLSOr) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_RATIONAL:
				sequence_VLSDefinedTerm(context, (VLSRational) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_REAL:
				sequence_VLSDefinedTerm(context, (VLSReal) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_REV_IMPLIES:
				sequence_VLSBinary(context, (VLSRevImplies) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_SATISFIABLE:
				sequence_VLSSatisfiable(context, (VLSSatisfiable) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_TFF_FORMULA:
				sequence_VLSTffFormula(context, (VLSTffFormula) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_TRUE:
				sequence_VLSAtomicConstant(context, (VLSTrue) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_TRYING:
				sequence_VLSTrying(context, (VLSTrying) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_UNARY_NEGATION:
				sequence_VLSUnaryNegation(context, (VLSUnaryNegation) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER:
				sequence_VLSUniversalQuantifier(context, (VLSUniversalQuantifier) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_VARIABLE:
				sequence_VLSVariable(context, (VLSVariable) semanticObject); 
				return; 
			case VampireLanguagePackage.VLS_XNOR:
				sequence_VLSBinary(context, (VLSXnor) semanticObject); 
				return; 
			case VampireLanguagePackage.VAMPIRE_MODEL:
				sequence_VampireModel(context, (VampireModel) semanticObject); 
				return; 
			}
		if (errorAcceptor != null)
			errorAcceptor.accept(diagnosticProvider.createInvalidContextOrTypeDiagnostic(semanticObject, context));
	}
	
	/**
	 * Contexts:
	 *     VLSAnnotationTerms returns VLSAnnotation
	 *
	 * Constraint:
	 *     (terms+=VLSAnnotation terms+=VLSAnnotation*)
	 */
	protected void sequence_VLSAnnotationTerms(ISerializationContext context, VLSAnnotation semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSAnnotation returns VLSAnnotation
	 *
	 * Constraint:
	 *     (((name=LOWER_WORD_ID | name=SINGLE_QUOTE | name=VLSRole) followup=VLSAnnotationTerms) | followup=VLSAnnotationTerms)?
	 */
	protected void sequence_VLSAnnotation(ISerializationContext context, VLSAnnotation semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSConstant
	 *     VLSBinary returns VLSConstant
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSConstant
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSConstant
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSConstant
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSConstant
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSConstant
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSConstant
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSConstant
	 *     VLSBinary.VLSOr_1_2_0 returns VLSConstant
	 *     VLSUnitaryFormula returns VLSConstant
	 *     VLSUnaryInfix returns VLSConstant
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSConstant
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSConstant
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSConstant
	 *     VLSAtomic returns VLSConstant
	 *     VLSAtomicConstant returns VLSConstant
	 *
	 * Constraint:
	 *     (name=LOWER_WORD_ID | name=SINGLE_QUOTE | name=DOLLAR_ID | name=DOUBLE_DOLLAR_ID | name=VLSRole)
	 */
	protected void sequence_VLSAtomicConstant(ISerializationContext context, VLSConstant semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSFalse
	 *     VLSBinary returns VLSFalse
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSFalse
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSFalse
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSFalse
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSFalse
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSFalse
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSFalse
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSFalse
	 *     VLSBinary.VLSOr_1_2_0 returns VLSFalse
	 *     VLSUnitaryFormula returns VLSFalse
	 *     VLSUnaryInfix returns VLSFalse
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSFalse
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSFalse
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSFalse
	 *     VLSAtomic returns VLSFalse
	 *     VLSAtomicConstant returns VLSFalse
	 *
	 * Constraint:
	 *     {VLSFalse}
	 */
	protected void sequence_VLSAtomicConstant(ISerializationContext context, VLSFalse semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSTrue
	 *     VLSBinary returns VLSTrue
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSTrue
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSTrue
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSTrue
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSTrue
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSTrue
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSTrue
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSTrue
	 *     VLSBinary.VLSOr_1_2_0 returns VLSTrue
	 *     VLSUnitaryFormula returns VLSTrue
	 *     VLSUnaryInfix returns VLSTrue
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSTrue
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSTrue
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSTrue
	 *     VLSAtomic returns VLSTrue
	 *     VLSAtomicConstant returns VLSTrue
	 *
	 * Constraint:
	 *     {VLSTrue}
	 */
	protected void sequence_VLSAtomicConstant(ISerializationContext context, VLSTrue semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSFunction
	 *     VLSBinary returns VLSFunction
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSFunction
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSFunction
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSFunction
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSFunction
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSFunction
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSFunction
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSFunction
	 *     VLSBinary.VLSOr_1_2_0 returns VLSFunction
	 *     VLSUnitaryFormula returns VLSFunction
	 *     VLSUnaryInfix returns VLSFunction
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSFunction
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSFunction
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSFunction
	 *     VLSAtomic returns VLSFunction
	 *     VLSAtomicFunction returns VLSFunction
	 *
	 * Constraint:
	 *     (
	 *         (constant=LOWER_WORD_ID | constant=SINGLE_QUOTE | constant=DOLLAR_ID | constant=DOUBLE_DOLLAR_ID | constant=VLSRole) 
	 *         terms+=VLSFofTerm 
	 *         terms+=VLSFofTerm*
	 *     )
	 */
	protected void sequence_VLSAtomicFunction(ISerializationContext context, VLSFunction semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSLess
	 *     VLSBinary returns VLSLess
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSLess
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSLess
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSLess
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSLess
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSLess
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSLess
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSLess
	 *     VLSBinary.VLSOr_1_2_0 returns VLSLess
	 *     VLSUnitaryFormula returns VLSLess
	 *     VLSUnaryInfix returns VLSLess
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSLess
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSLess
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSLess
	 *     VLSAtomic returns VLSLess
	 *     VLSAtomicFunction returns VLSLess
	 *
	 * Constraint:
	 *     (name='$less' terms+=VLSFofTerm terms+=VLSFofTerm)
	 */
	protected void sequence_VLSAtomicFunction(ISerializationContext context, VLSLess semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSAnd
	 *     VLSBinary returns VLSAnd
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSAnd
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSAnd
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSAnd
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSAnd
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSAnd
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSAnd
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSAnd
	 *     VLSBinary.VLSOr_1_2_0 returns VLSAnd
	 *     VLSUnitaryFormula returns VLSAnd
	 *
	 * Constraint:
	 *     (left=VLSBinary_VLSAnd_1_1_0 right=VLSUnitaryFormula)
	 */
	protected void sequence_VLSBinary(ISerializationContext context, VLSAnd semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_AND__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_AND__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_AND__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_AND__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSEquivalent
	 *     VLSBinary returns VLSEquivalent
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSEquivalent
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSEquivalent
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSEquivalent
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSEquivalent
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSEquivalent
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSEquivalent
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSEquivalent
	 *     VLSBinary.VLSOr_1_2_0 returns VLSEquivalent
	 *     VLSUnitaryFormula returns VLSEquivalent
	 *
	 * Constraint:
	 *     (left=VLSBinary_VLSEquivalent_1_0_0_0_0 right=VLSUnitaryFormula)
	 */
	protected void sequence_VLSBinary(ISerializationContext context, VLSEquivalent semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_EQUIVALENT__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_EQUIVALENT__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_EQUIVALENT__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_EQUIVALENT__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSImplies
	 *     VLSBinary returns VLSImplies
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSImplies
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSImplies
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSImplies
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSImplies
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSImplies
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSImplies
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSImplies
	 *     VLSBinary.VLSOr_1_2_0 returns VLSImplies
	 *     VLSUnitaryFormula returns VLSImplies
	 *
	 * Constraint:
	 *     (left=VLSBinary_VLSImplies_1_0_0_1_0 right=VLSUnitaryFormula)
	 */
	protected void sequence_VLSBinary(ISerializationContext context, VLSImplies semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_IMPLIES__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_IMPLIES__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_IMPLIES__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_IMPLIES__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSNand
	 *     VLSBinary returns VLSNand
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSNand
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSNand
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSNand
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSNand
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSNand
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSNand
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSNand
	 *     VLSBinary.VLSOr_1_2_0 returns VLSNand
	 *     VLSUnitaryFormula returns VLSNand
	 *
	 * Constraint:
	 *     (left=VLSBinary_VLSNand_1_0_0_5_0 right=VLSUnitaryFormula)
	 */
	protected void sequence_VLSBinary(ISerializationContext context, VLSNand semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_NAND__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_NAND__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_NAND__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_NAND__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSNor
	 *     VLSBinary returns VLSNor
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSNor
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSNor
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSNor
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSNor
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSNor
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSNor
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSNor
	 *     VLSBinary.VLSOr_1_2_0 returns VLSNor
	 *     VLSUnitaryFormula returns VLSNor
	 *
	 * Constraint:
	 *     (left=VLSBinary_VLSNor_1_0_0_4_0 right=VLSUnitaryFormula)
	 */
	protected void sequence_VLSBinary(ISerializationContext context, VLSNor semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_NOR__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_NOR__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_NOR__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_NOR__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSOr
	 *     VLSBinary returns VLSOr
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSOr
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSOr
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSOr
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSOr
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSOr
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSOr
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSOr
	 *     VLSBinary.VLSOr_1_2_0 returns VLSOr
	 *     VLSUnitaryFormula returns VLSOr
	 *
	 * Constraint:
	 *     (left=VLSBinary_VLSOr_1_2_0 right=VLSUnitaryFormula)
	 */
	protected void sequence_VLSBinary(ISerializationContext context, VLSOr semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_OR__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_OR__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_OR__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_OR__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSRevImplies
	 *     VLSBinary returns VLSRevImplies
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSRevImplies
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSRevImplies
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSRevImplies
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSRevImplies
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSRevImplies
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSRevImplies
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSRevImplies
	 *     VLSBinary.VLSOr_1_2_0 returns VLSRevImplies
	 *     VLSUnitaryFormula returns VLSRevImplies
	 *
	 * Constraint:
	 *     (left=VLSBinary_VLSRevImplies_1_0_0_2_0 right=VLSUnitaryFormula)
	 */
	protected void sequence_VLSBinary(ISerializationContext context, VLSRevImplies semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_REV_IMPLIES__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_REV_IMPLIES__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_REV_IMPLIES__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_REV_IMPLIES__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSXnor
	 *     VLSBinary returns VLSXnor
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSXnor
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSXnor
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSXnor
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSXnor
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSXnor
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSXnor
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSXnor
	 *     VLSBinary.VLSOr_1_2_0 returns VLSXnor
	 *     VLSUnitaryFormula returns VLSXnor
	 *
	 * Constraint:
	 *     (left=VLSBinary_VLSXnor_1_0_0_3_0 right=VLSUnitaryFormula)
	 */
	protected void sequence_VLSBinary(ISerializationContext context, VLSXnor semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_XNOR__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_XNOR__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_XNOR__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_XNOR__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSComment returns VLSComment
	 *
	 * Constraint:
	 *     comment=SINGLE_COMMENT
	 */
	protected void sequence_VLSComment(ISerializationContext context, VLSComment semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_COMMENT__COMMENT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_COMMENT__COMMENT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0(), semanticObject.getComment());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSDoubleQuote
	 *     VLSBinary returns VLSDoubleQuote
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSDoubleQuote
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSDoubleQuote
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSDoubleQuote
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSDoubleQuote
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSDoubleQuote
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSDoubleQuote
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSDoubleQuote
	 *     VLSBinary.VLSOr_1_2_0 returns VLSDoubleQuote
	 *     VLSUnitaryFormula returns VLSDoubleQuote
	 *     VLSUnaryInfix returns VLSDoubleQuote
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSDoubleQuote
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSDoubleQuote
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSDoubleQuote
	 *     VLSAtomic returns VLSDoubleQuote
	 *     VLSFofTerm returns VLSDoubleQuote
	 *     VLSDefinedTerm returns VLSDoubleQuote
	 *
	 * Constraint:
	 *     value=DOUBLE_QUOTE
	 */
	protected void sequence_VLSDefinedTerm(ISerializationContext context, VLSDoubleQuote semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_3_1_0(), semanticObject.getValue());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSInt
	 *     VLSBinary returns VLSInt
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSInt
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSInt
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSInt
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSInt
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSInt
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSInt
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSInt
	 *     VLSBinary.VLSOr_1_2_0 returns VLSInt
	 *     VLSUnitaryFormula returns VLSInt
	 *     VLSUnaryInfix returns VLSInt
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSInt
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSInt
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSInt
	 *     VLSAtomic returns VLSInt
	 *     VLSFofTerm returns VLSInt
	 *     VLSDefinedTerm returns VLSInt
	 *
	 * Constraint:
	 *     value=SIGNED_LITERAL
	 */
	protected void sequence_VLSDefinedTerm(ISerializationContext context, VLSInt semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_LITERALTerminalRuleCall_0_1_0(), semanticObject.getValue());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSRational
	 *     VLSBinary returns VLSRational
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSRational
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSRational
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSRational
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSRational
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSRational
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSRational
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSRational
	 *     VLSBinary.VLSOr_1_2_0 returns VLSRational
	 *     VLSUnitaryFormula returns VLSRational
	 *     VLSUnaryInfix returns VLSRational
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSRational
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSRational
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSRational
	 *     VLSAtomic returns VLSRational
	 *     VLSFofTerm returns VLSRational
	 *     VLSDefinedTerm returns VLSRational
	 *
	 * Constraint:
	 *     value=SIGNED_RAT_ID
	 */
	protected void sequence_VLSDefinedTerm(ISerializationContext context, VLSRational semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_RAT_IDTerminalRuleCall_2_1_0(), semanticObject.getValue());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSReal
	 *     VLSBinary returns VLSReal
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSReal
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSReal
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSReal
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSReal
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSReal
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSReal
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSReal
	 *     VLSBinary.VLSOr_1_2_0 returns VLSReal
	 *     VLSUnitaryFormula returns VLSReal
	 *     VLSUnaryInfix returns VLSReal
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSReal
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSReal
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSReal
	 *     VLSAtomic returns VLSReal
	 *     VLSFofTerm returns VLSReal
	 *     VLSDefinedTerm returns VLSReal
	 *
	 * Constraint:
	 *     value=SIGNED_REAL_ID
	 */
	protected void sequence_VLSDefinedTerm(ISerializationContext context, VLSReal semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_DEFINED_TERM__VALUE));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_REAL_IDTerminalRuleCall_1_1_0(), semanticObject.getValue());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSExistentialQuantifier
	 *     VLSBinary returns VLSExistentialQuantifier
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSExistentialQuantifier
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSExistentialQuantifier
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSExistentialQuantifier
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSExistentialQuantifier
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSExistentialQuantifier
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSExistentialQuantifier
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSExistentialQuantifier
	 *     VLSBinary.VLSOr_1_2_0 returns VLSExistentialQuantifier
	 *     VLSUnitaryFormula returns VLSExistentialQuantifier
	 *     VLSExistentialQuantifier returns VLSExistentialQuantifier
	 *
	 * Constraint:
	 *     (variables+=VLSVariable variables+=VLSVariable* operand=VLSUnitaryFormula)
	 */
	protected void sequence_VLSExistentialQuantifier(ISerializationContext context, VLSExistentialQuantifier semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSFiniteModel returns VLSFiniteModel
	 *
	 * Constraint:
	 *     {VLSFiniteModel}
	 */
	protected void sequence_VLSFiniteModel(ISerializationContext context, VLSFiniteModel semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSFofFormula returns VLSFofFormula
	 *
	 * Constraint:
	 *     ((name=LOWER_WORD_ID | name=SIGNED_LITERAL | name=SINGLE_QUOTE) fofRole=VLSRole fofFormula=VLSTerm annotations=VLSAnnotation?)
	 */
	protected void sequence_VLSFofFormula(ISerializationContext context, VLSFofFormula semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSFofTerm returns VLSFunctionFof
	 *     VLSFunctionFof returns VLSFunctionFof
	 *
	 * Constraint:
	 *     ((functor=LOWER_WORD_ID | functor=SINGLE_QUOTE | functor=DOLLAR_ID | functor=DOUBLE_DOLLAR_ID) (terms+=VLSFofTerm terms+=VLSFofTerm*)?)
	 */
	protected void sequence_VLSFunctionFof(ISerializationContext context, VLSFunctionFof semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSInclude returns VLSInclude
	 *
	 * Constraint:
	 *     (fileName=SINGLE_QUOTE (names+=VLSName names+=VLSName*)?)
	 */
	protected void sequence_VLSInclude(ISerializationContext context, VLSInclude semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSName returns VLSName
	 *
	 * Constraint:
	 *     (name=LOWER_WORD_ID | name=SINGLE_QUOTE | name=LITERAL | name=SIGNED_LITERAL)
	 */
	protected void sequence_VLSName(ISerializationContext context, VLSName semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSConfirmations returns VLSSatisfiable
	 *     VLSSatisfiable returns VLSSatisfiable
	 *
	 * Constraint:
	 *     {VLSSatisfiable}
	 */
	protected void sequence_VLSSatisfiable(ISerializationContext context, VLSSatisfiable semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSTffFormula returns VLSTffFormula
	 *
	 * Constraint:
	 *     ((name=LOWER_WORD_ID | name=SIGNED_LITERAL | name=SINGLE_QUOTE) fofRole=VLSRole fofFormula=VLSTerm annotations=VLSAnnotation?)
	 */
	protected void sequence_VLSTffFormula(ISerializationContext context, VLSTffFormula semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSTrying returns VLSTrying
	 *
	 * Constraint:
	 *     name=LITERAL
	 */
	protected void sequence_VLSTrying(ISerializationContext context, VLSTrying semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_TRYING__NAME));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSTryingAccess().getNameLITERALTerminalRuleCall_2_0(), semanticObject.getName());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSAssignment
	 *     VLSBinary returns VLSAssignment
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSAssignment
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSAssignment
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSAssignment
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSAssignment
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSAssignment
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSAssignment
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSAssignment
	 *     VLSBinary.VLSOr_1_2_0 returns VLSAssignment
	 *     VLSUnitaryFormula returns VLSAssignment
	 *     VLSUnaryInfix returns VLSAssignment
	 *
	 * Constraint:
	 *     (left=VLSUnaryInfix_VLSAssignment_1_0_2_0 right=VLSAtomic)
	 */
	protected void sequence_VLSUnaryInfix(ISerializationContext context, VLSAssignment semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_ASSIGNMENT__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_ASSIGNMENT__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_ASSIGNMENT__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_ASSIGNMENT__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSEquality
	 *     VLSBinary returns VLSEquality
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSEquality
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSEquality
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSEquality
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSEquality
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSEquality
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSEquality
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSEquality
	 *     VLSBinary.VLSOr_1_2_0 returns VLSEquality
	 *     VLSUnitaryFormula returns VLSEquality
	 *     VLSUnaryInfix returns VLSEquality
	 *
	 * Constraint:
	 *     (left=VLSUnaryInfix_VLSEquality_1_0_1_0 right=VLSAtomic)
	 */
	protected void sequence_VLSUnaryInfix(ISerializationContext context, VLSEquality semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_EQUALITY__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_EQUALITY__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_EQUALITY__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_EQUALITY__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSInequality
	 *     VLSBinary returns VLSInequality
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSInequality
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSInequality
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSInequality
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSInequality
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSInequality
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSInequality
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSInequality
	 *     VLSBinary.VLSOr_1_2_0 returns VLSInequality
	 *     VLSUnitaryFormula returns VLSInequality
	 *     VLSUnaryInfix returns VLSInequality
	 *
	 * Constraint:
	 *     (left=VLSUnaryInfix_VLSInequality_1_0_0_0 right=VLSAtomic)
	 */
	protected void sequence_VLSUnaryInfix(ISerializationContext context, VLSInequality semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_INEQUALITY__LEFT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_INEQUALITY__LEFT));
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_INEQUALITY__RIGHT) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_INEQUALITY__RIGHT));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0(), semanticObject.getLeft());
		feeder.accept(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0(), semanticObject.getRight());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSUnaryNegation
	 *     VLSBinary returns VLSUnaryNegation
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSUnaryNegation
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSUnaryNegation
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSUnaryNegation
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSUnaryNegation
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSUnaryNegation
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSUnaryNegation
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSUnaryNegation
	 *     VLSBinary.VLSOr_1_2_0 returns VLSUnaryNegation
	 *     VLSUnitaryFormula returns VLSUnaryNegation
	 *     VLSUnaryNegation returns VLSUnaryNegation
	 *
	 * Constraint:
	 *     operand=VLSUnitaryFormula
	 */
	protected void sequence_VLSUnaryNegation(ISerializationContext context, VLSUnaryNegation semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_UNARY_NEGATION__OPERAND) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_UNARY_NEGATION__OPERAND));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSUnaryNegationAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0(), semanticObject.getOperand());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSUniversalQuantifier
	 *     VLSBinary returns VLSUniversalQuantifier
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSUniversalQuantifier
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSUniversalQuantifier
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSUniversalQuantifier
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSUniversalQuantifier
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSUniversalQuantifier
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSUniversalQuantifier
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSUniversalQuantifier
	 *     VLSBinary.VLSOr_1_2_0 returns VLSUniversalQuantifier
	 *     VLSUnitaryFormula returns VLSUniversalQuantifier
	 *     VLSUniversalQuantifier returns VLSUniversalQuantifier
	 *
	 * Constraint:
	 *     (variables+=VLSVariable variables+=VLSVariable* operand=VLSUnitaryFormula)
	 */
	protected void sequence_VLSUniversalQuantifier(ISerializationContext context, VLSUniversalQuantifier semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
	/**
	 * Contexts:
	 *     VLSTerm returns VLSVariable
	 *     VLSBinary returns VLSVariable
	 *     VLSBinary.VLSEquivalent_1_0_0_0_0 returns VLSVariable
	 *     VLSBinary.VLSImplies_1_0_0_1_0 returns VLSVariable
	 *     VLSBinary.VLSRevImplies_1_0_0_2_0 returns VLSVariable
	 *     VLSBinary.VLSXnor_1_0_0_3_0 returns VLSVariable
	 *     VLSBinary.VLSNor_1_0_0_4_0 returns VLSVariable
	 *     VLSBinary.VLSNand_1_0_0_5_0 returns VLSVariable
	 *     VLSBinary.VLSAnd_1_1_0 returns VLSVariable
	 *     VLSBinary.VLSOr_1_2_0 returns VLSVariable
	 *     VLSUnitaryFormula returns VLSVariable
	 *     VLSUnaryInfix returns VLSVariable
	 *     VLSUnaryInfix.VLSInequality_1_0_0_0 returns VLSVariable
	 *     VLSUnaryInfix.VLSEquality_1_0_1_0 returns VLSVariable
	 *     VLSUnaryInfix.VLSAssignment_1_0_2_0 returns VLSVariable
	 *     VLSAtomic returns VLSVariable
	 *     VLSVariable returns VLSVariable
	 *     VLSFofTerm returns VLSVariable
	 *
	 * Constraint:
	 *     name=UPPER_WORD_ID
	 */
	protected void sequence_VLSVariable(ISerializationContext context, VLSVariable semanticObject) {
		if (errorAcceptor != null) {
			if (transientValues.isValueTransient(semanticObject, VampireLanguagePackage.Literals.VLS_VARIABLE__NAME) == ValueTransient.YES)
				errorAcceptor.accept(diagnosticProvider.createFeatureValueMissing(semanticObject, VampireLanguagePackage.Literals.VLS_VARIABLE__NAME));
		}
		SequenceFeeder feeder = createSequencerFeeder(context, semanticObject);
		feeder.accept(grammarAccess.getVLSVariableAccess().getNameUPPER_WORD_IDTerminalRuleCall_0(), semanticObject.getName());
		feeder.finish();
	}
	
	
	/**
	 * Contexts:
	 *     VampireModel returns VampireModel
	 *
	 * Constraint:
	 *     (includes+=VLSInclude | comments+=VLSComment | confirmations+=VLSConfirmations | formulas+=VLSFofFormula | tfformulas+=VLSTffFormula)+
	 */
	protected void sequence_VampireModel(ISerializationContext context, VampireModel semanticObject) {
		genericSequencer.createSequence(context, semanticObject);
	}
	
	
}