clearAll

open fun clearAll(): Int

Delete every proposition.

Return

number deleted