public AssossiativeSet<Agent> GetTagedAgentOfTransitionBetween(ActionState a, ActionState b) { ActionIndecisionPair key = new ActionIndecisionPair(a, b); key = TransitionRelation.Find(x => x.Equals(key)); if (key == null) return null; return key.TagedAgents; }
public SecretAnnouncement(string name, Dictionary<string, Agent> allAgents, Dictionary<string, Agent> audience, Formula announcement) : base(name , allAgents , audience , announcement) { ActionState trueState = new ActionState("TrueState"); SecretState = new ActionState("Secret"); SecretState.Precondition = announcement; ActionStates.Add(trueState); ActionStates.Add(SecretState); Relation = new ActionIndecisionPair(SecretState, trueState); Relation.TagedAgents = GetSubtractionOfAgentDics(allAgents, audience); TransitionRelation.Add(Relation); }
public EAState(EpisState modelState, ActionState actionState) { ModelState = modelState; ActionState = actionState; }
public ActionIndecisionPair(ActionState left, ActionState right) { _left = left; _right = right; }
public ActionIndecisionPair(ActionState left, ActionState right) { _left = left; _right = right; }