Unique id of the node class used in serialization of SigmaBoolean.
Unique id of the node class used in serialization of SigmaBoolean.
Size of the proposition tree (number of nodes).
Size of the proposition tree (number of nodes).
(Since version ) see corresponding Javadoc for more information.
THRESHOLD connector for sigma propositions