Exemple #1
0
 public object Accept(IFOLVisitor v, object arg)
 {
     return(v.VisitQuantifiedSentence(this, arg));
 }
Exemple #2
0
 public object Accept(IFOLVisitor v, object arg)
 {
     return(v.VisitTermEquality(this, arg));
 }
Exemple #3
0
 public object Accept(IFOLVisitor v, object arg)
 {
     return(v.VisitConnectedSentence(this, arg));
 }
Exemple #4
0
 public object Accept(IFOLVisitor v, object arg)
 {
     return(v.VisitConstant(this, arg));
 }
Exemple #5
0
 public object Accept(IFOLVisitor v, object arg)
 {
     return(v.VisitPredicate(this, arg));
 }
Exemple #6
0
 public object Accept(IFOLVisitor v, object arg)
 {
     return(v.VisitFunction(this, arg));
 }
Exemple #7
0
 public object Accept(IFOLVisitor v, object arg)
 {
     return(v.VisitVariable(this, arg));
 }