contains

open operator fun contains(clause: Clause): Boolean
Content copied to clipboard

Tells if the given Clause is stored in this ReteTree