A logical conjunction operation

Introduced properties

init defaultinit(e1: LExpr, e2: LExpr)

logic :: LAnd :: defaultinit

fun e1: LExpr

logic :: LAnd :: e1

The first operand
protected fun e1=(e1: LExpr)

logic :: LAnd :: e1=

The first operand
fun e2: LExpr

logic :: LAnd :: e2

The second operand
protected fun e2=(e2: LExpr)

logic :: LAnd :: e2=

The second operand

Redefined properties

redef type SELF: LAnd

logic $ LAnd :: SELF

Type of this instance, automatically specialized in every class
redef fun cnf(v: nullable Array[LVar]): CNF

logic $ LAnd :: cnf

Compute a conjunctive normal form.
redef fun nnf: LExpr

logic $ LAnd :: nnf

The negation normal form (NNF).
redef fun nnnf: LExpr

logic $ LAnd :: nnnf

The negative negation normal form (NNF).
redef fun size: Int

logic $ LAnd :: size

The size of the logical expression.
redef fun to_s: String

logic $ LAnd :: to_s

User readable representation of self.

All properties

fun !=(other: nullable Object): Bool

core :: Object :: !=

Have self and other different values?
fun &(e: LExpr): LExpr

logic :: LExpr :: &

Conjunction with e (or).
fun ==(other: nullable Object): Bool

core :: Object :: ==

Have self and other the same value?
type CLASS: Class[SELF]

core :: Object :: CLASS

The type of the class of self.
type SELF: Object

core :: Object :: SELF

Type of this instance, automatically specialized in every class
fun ^(e: LExpr): LExpr

logic :: LExpr :: ^

Exclusive disjunction with e (xor).
protected fun class_factory(name: String): CLASS

core :: Object :: class_factory

Implementation used by get_class to create the specific class.
fun class_name: String

core :: Object :: class_name

The class name of the object.
fun cnf(vars: nullable Array[LVar]): CNF

logic :: LExpr :: cnf

Compute a conjunctive normal form.
init defaultinit(e1: LExpr, e2: LExpr)

logic :: LAnd :: defaultinit

fun e1: LExpr

logic :: LAnd :: e1

The first operand
protected fun e1=(e1: LExpr)

logic :: LAnd :: e1=

The first operand
fun e2: LExpr

logic :: LAnd :: e2

The second operand
protected fun e2=(e2: LExpr)

logic :: LAnd :: e2=

The second operand
fun get_class: CLASS

core :: Object :: get_class

The meta-object representing the dynamic type of self.
fun hash: Int

core :: Object :: hash

The hash code of the object.
fun imp(e: LExpr): LExpr

logic :: LExpr :: imp

Implication with e (implies).
init init

core :: Object :: init

fun inspect: String

core :: Object :: inspect

Developer readable representation of self.
protected fun inspect_head: String

core :: Object :: inspect_head

Return "CLASSNAME:#OBJECTID".
fun is_f: Bool

logic :: LExpr :: is_f

It the logical expression lfalse?
intern fun is_same_instance(other: nullable Object): Bool

core :: Object :: is_same_instance

Return true if self and other are the same instance (i.e. same identity).
fun is_same_serialized(other: nullable Object): Bool

core :: Object :: is_same_serialized

Is self the same as other in a serialization context?
intern fun is_same_type(other: Object): Bool

core :: Object :: is_same_type

Return true if self and other have the same dynamic type.
fun is_t: Bool

logic :: LExpr :: is_t

It the logical expression ltrue?
fun nnf: LExpr

logic :: LExpr :: nnf

The negation normal form (NNF).
fun nnnf: LExpr

logic :: LExpr :: nnnf

The negative negation normal form (NNF).
intern fun object_id: Int

core :: Object :: object_id

An internal hash code for the object based on its identity.
fun output

core :: Object :: output

Display self on stdout (debug only).
intern fun output_class_name

core :: Object :: output_class_name

Display class name on stdout (debug only).
fun serialization_hash: Int

core :: Object :: serialization_hash

Hash value use for serialization
fun size: Int

logic :: LExpr :: size

The size of the logical expression.
intern fun sys: Sys

core :: Object :: sys

Return the global sys object, the only instance of the Sys class.
abstract fun to_jvalue(env: JniEnv): JValue

core :: Object :: to_jvalue

fun to_s: String

core :: Object :: to_s

User readable representation of self.
fun unary ~: LExpr

logic :: LExpr :: unary ~

The negation of self
fun |(e: LExpr): LExpr

logic :: LExpr :: |

Disjunction with e (and).
package_diagram logic::LAnd LAnd logic::LExpr LExpr logic::LAnd->logic::LExpr core::Object Object logic::LExpr->core::Object ...core::Object ... ...core::Object->core::Object

Ancestors

interface Object

core :: Object

The root of the class hierarchy.

Parents

class LExpr

logic :: LExpr

A logical expression

Class definitions

logic $ LAnd
# 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