public MyIEnumerator(AgentArchitecture arch, int nbAnnots, IEnumerator <Literal> il, Agent ag, Unifier un, Literal lit) { this.arch = arch; this.nbAnnots = nbAnnots; this.il = il; this.ag = ag; this.un = un; this.lit = lit; }
public virtual IEnumerator <Unifier> LogicalConsequence(Agent ag, Unifier un) { IEnumerator <Literal> il = ag.GetBB().GetCandidateBeliefs(this, un); if (il == null) { return(LogExpr.EMPTY_UNIF_LIST.GetEnumerator()); } AgentArchitecture arch = (ag != null && ag.GetReasoner() != null ? ag.GetReasoner().GetUserAgArch() : null); int nbAnnots = (HasAnnot() && GetAnnots().GetTail() == null ? GetAnnots().Count : 0); return(new MyIEnumerator <Unifier>(arch, nbAnnots, il, ag, un, this)); }