Esempi in C# (CSharp) per AxiomProfiler.QuantifierModel EqualityExplanationVisitor

Esempio n. 1

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

Esempio n. 2

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

Esempio n. 3

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

Esempio n. 4

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