logic :: LAnd :: defaultinit
core :: Object :: class_factory
Implementation used byget_class
to create the specific class.
core :: Object :: defaultinit
logic :: LExpr :: defaultinit
logic :: LAnd :: defaultinit
core :: Object :: is_same_instance
Return true ifself
and other
are the same instance (i.e. same identity).
core :: Object :: is_same_serialized
Isself
the same as other
in a serialization context?
core :: Object :: is_same_type
Return true ifself
and other
have the same dynamic type.
core :: Object :: output_class_name
Display class name on stdout (debug only).
# 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
lib/logic/lexpr.nit:209,1--226,3