size

open val size: Int

Returns the number of Clause stored in this tree