The size of the logical expression.

Property definitions

logic $ LExpr :: size
	# The size of the logical expression.
	fun size: Int do return 1
lib/logic/lexpr.nit:205,2--206,26

logic $ LAnd :: size
	redef fun size do return e1.size + e2.size + 1
lib/logic/lexpr.nit:225,2--47

logic $ LOr :: size
	redef fun size do return e1.size + e2.size + 1
lib/logic/lexpr.nit:273,2--47

logic $ LNot :: size
	redef fun size do return e.size + 1
lib/logic/lexpr.nit:291,2--36