class

Horn::DNFResult

Inherits Horn::Solution < Reference < Object

Constructors

new(query : Horn::Expr | Nil, conjuncts : Set(Horn::Expr))
Source

Instance methods

conjuncts
Source
print(io : IO)
Source
query
Source