# A logical conjunction operation
class LAnd
	super LExpr

	# The first operand
	var e1: LExpr

	# The second operand
	var e2: LExpr

	redef fun to_s do return "({e1} & {e2})"

	redef fun nnf do return e1.nnf & e2.nnf
	redef fun nnnf do return e1.nnnf | e2.nnnf
	redef fun cnf(v) do return e1.cnf(v) & e2.cnf(v)

	redef fun size do return e1.size + e2.size + 1
end