All Packages

Package Summary

Package	Description
tools.refinery.logic
tools.refinery.logic.dnf
tools.refinery.logic.dnf.callback
tools.refinery.logic.equality
tools.refinery.logic.literal
tools.refinery.logic.rewriter
tools.refinery.logic.substitution
tools.refinery.logic.term
tools.refinery.logic.term.bool
tools.refinery.logic.term.cardinalityinterval
tools.refinery.logic.term.comparable
tools.refinery.logic.term.int_
tools.refinery.logic.term.real
tools.refinery.logic.term.truthvalue
tools.refinery.logic.term.uppercardinality
tools.refinery.logic.util
tools.refinery.logic.valuation