C# (CSharp) AxiomProfiler.QuantifierModel EqualityExplanationVisitor 예제들

예제 #1

 override internal protected R Accept <R, A>(EqualityExplanationVisitor <R, A> visitor, A arg)
 {
     return(visitor.Direct(this, arg));
 }

예제 #2

 protected internal override R Accept <R, A>(EqualityExplanationVisitor <R, A> visitor, A arg)
 {
     return(visitor.Theory(this, arg));
 }

예제 #3

 protected internal override R Accept <R, A>(EqualityExplanationVisitor <R, A> visitor, A arg)
 {
     return(visitor.RecursiveReference(this, arg));
 }

예제 #4

 abstract internal protected R Accept <R, A>(EqualityExplanationVisitor <R, A> visitor, A arg);