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