C# (CSharp) AxiomProfiler.QuantifierModel EqualityExplanationVisitor Exemples

Exemple #1

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

Exemple #2

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

Exemple #3

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

Exemple #4

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