RSolve.Logic

Documentation

class (Show a, Ord a) => AtomF a where

Methods

notA :: a -> [a]

Specifies how to handle the negations. For the finite and enumerable solutions, we can return its supplmentary set.

Instances

AtomF Unif

Defined in RSolve.HM

Methods

notA :: Unif -> [Unif]