class

Horn::TopDown

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

Constructors

new(program : Program, const_collection : ConstCollection)
Source

Instance methods

eval(expr : Expr, parent_id : String | Nil) : Value
Source
eval(expr : Expr) : Value
Source
reduct(expr : Expr) : Tuple(Expr, Bool)
Source
solve
Source
visualize
Source