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