class

Horn::Values::FalseByDefault

Inherits Horn::Value < Reference < Object

Constructors

new(expr : Expr, negation_depth = 0)

new(due_to : Set(Expr), negation_depth : Int32 = 0)

Instance methods

&(other)

==(other)

Returns false (other can only be a Value here).

|(other)

~

due_to

empty?

false?

hash(hasher)

See Object#hash(hasher)

inspect(io)

negation_depth

to_s(io)

undef?