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