package org.whole.lang.firstorderlogic.visitors;
import org.whole.lang.visitors.AbstractBinaryVisitor;
import org.whole.lang.firstorderlogic.visitors.IFirstOrderLogicVisitor;
import org.whole.lang.firstorderlogic.model.*;
import org.whole.lang.visitors.IVisitor;
import org.whole.lang.model.IEntity;
/**
* @generator Whole
*/
public class FirstOrderLogicSequenceVisitor extends
AbstractBinaryVisitor<IFirstOrderLogicVisitor> implements
IFirstOrderLogicVisitor {
public FirstOrderLogicSequenceVisitor(IVisitor visitor1, IVisitor visitor2) {
super(visitor1, visitor2);
}
public void visit(IEntity entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Theory entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(ImportTheories entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(ImportDeclaration entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Declarations entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Assertions entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(EntityName entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(FeatureName entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(LanguageName entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(SimpleFeature entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(QualifiedFeature entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(SubtypeDeclaration entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(NameDeclaration entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(SortType entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(VariableType entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(FunctionType entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(PredicateType entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Parameters entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(VariableDeclaration entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(PredicateDefinition entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(FunctionDefinition entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Axiom entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Theorem entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Formulae entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(PredicateApplication entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(EqualityPredicateApplication entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Implication entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Coimplication entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Xor entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(And entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Or entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Not entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(ForAll entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Exist entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(ExistUnique entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Arguments entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(SimplePredicate entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(QualifiedPredicate entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(TheoryName entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Constant entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Variable entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(FunctionApplication entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(SimpleFunction entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(QualifiedFunction entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
public void visit(Name entity) {
wGetVisitor1().visit(entity);
wGetVisitor2().visit(entity);
}
}