esg.pl -- Event Endpoint Sequence Graph (ESG).

ESGs are directed acyclic graphs in which nodes are endpoints of constituent events, and in which an edge is added from one endpoint a to another endpoint b if a < b holds. Any path from endpoint a to another endpoint b implies that a < b (transitivity).

author

- Daniel Beßler

 esg_to_list(+ESG, ?Sequence)

 esg_retract(+ESG)

 esg(+Act, +Events, +Constraints, ?Sequence)

 esg_event_sequence(+ESG, ?Sequence) is semidet

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 esg_assert(Arg1, Arg2, Arg3)

 esg_truncated(Arg1, Arg2, Arg3, Arg4)

 esg_path(Arg1, Arg2, Arg3, Arg4)

 endpoint_type(Arg1, Arg2)

 esg_join(Arg1, Arg2, Arg3)

 esg_endpoints(Arg1, Arg2)

 esg_write_info(Arg1)

 esg_write(Arg1)

 esg_pop(Arg1, Arg2, Arg3)

 esg_peak(Arg1, Arg2)