class

Horn::Strategies::HT::Interpretation

Inherits Horn::Solution < Reference < Object

Constructors

new(map : Hash(Horn::Expressions::Const, Horn::Value))

Instance methods

[](const : Expressions::Const)

ht_le(other : Interpretation)

map

print(io : IO)

to_s(io)