class

Horn::Strategies::HT

Inherits Horn::Values < Horn::Expressions < Horn::Strategy < Reference < Object

Constructors

new(program : Horn::Program, const_collection : Hash(Horn::Expressions::Const, Horn::Type))
Source

Instance methods

solve
Source

Nested types