get

abstract operator fun get(clause: Clause): Sequence<Clause>
Content copied to clipboard

Retrieves matching clauses from this theory

abstract operator fun get(head: Struct): Sequence<Rule>
Content copied to clipboard

Retrieves matching rules from this theory

abstract operator fun get(indicator: Indicator): Sequence<Rule>
Content copied to clipboard

Retrieves all rules in this theory having the specified Indicator as head; this should be well-formed