Module arg_id 

ArgumentId: the identifier type for argument nodes in the encounter-level weighted bipolar framework.

An ArgumentId is the stringified rendering of a literal (e.g. "fortify_east" for a positive atom, "¬deny_claim" for a negated literal). Two scheme instances that share a conclusion literal share the same ArgumentId, so both count as supporting the same argument node. This is the correct convergence behaviour.

Structs

ArgumentId

Opaque identifier for an argument node in the weighted bipolar framework. Constructed from a Literal via From.