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);