The same code is used for AND operation, but they belong to different type hierarchies.
The same code is used for AND operation, but they belong to different type hierarchies.
Size of the proposition tree (number of nodes).
Size of the proposition tree (number of nodes).
(Since version ) see corresponding Javadoc for more information.
AND conjunction for sigma propositions