Computes the Set of all unique Facts used by Derivations.
Computes the Set of all unique Facts used by Derivations.
all available Derivations
a Set containing all unique input Facts
Computes the Set of all unique Facts produced by Derivations.
Computes the Set of all unique Facts produced by Derivations. It also enforces uniqueness between Derivations, since we do not allow multiple Derivations to produce the same Fact.
all available Derivations
a Set containing all unique output Facts
Collection of utility methods for handling Derivations.