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