Is there a simple way to test whether or not an agent with a given ID is present in a mixture?
I looked at Edges.mli and the only thing I see is val is_agent : Agent.t -> t -> bool where Agent.t is a pair of an agent ID and a type ID. Note that most functions in Edges.mli work with Agent IDs and not with the Agent.t type.
I cannot use this function because the code I am working with does not have access to the type of the agent.
I suggest adding: val is_agent_id: int -> t -> bool to the API.
Is there a simple way to test whether or not an agent with a given ID is present in a mixture?
I looked at
Edges.mli
and the only thing I see isval is_agent : Agent.t -> t -> bool
whereAgent.t
is a pair of an agent ID and a type ID. Note that most functions inEdges.mli
work with Agent IDs and not with theAgent.t
type.I cannot use this function because the code I am working with does not have access to the type of the agent.
I suggest adding:
val is_agent_id: int -> t -> bool
to the API.