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