class

Horn::DNFTransformer

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

Constructors

new(program : Program, const_collection : ConstCollection)

Instance methods

beta_reduct(expr : Expr) : Tuple(Expr, Bool)

eval(expr : Expr) : Expr

logic_transform(expr : Expr) : Tuple(Expr, Bool)

run(expr : Expr, &)

solve

top_down(expr : Expr) : Tuple(Expr, Bool)

unfold_const(expr : Expr) : Tuple(Expr, Bool)

unfold_quantifiers(expr : Expr) : Tuple(Expr, Bool)

visualize