Value Members

1.  def build(attrInfoProvider: AttrInfoProvider): Coalgebra[TreeF, List[Rule]]
2.  def constraintsFromPredicate(pred: Predicate, attr: Attr): List[Rule]
3.  def extractConvexHull(rules: List[Rule], attrInfoProvider: AttrInfoProvider): List[List[Rule]]
4.  def extractPatterns(tree: Tree): List[List[Rule]]

   Extracts the patterns from a predicate tree.

   Extracts the patterns from a predicate tree.

   returns

   A list of extracted constraint patterns

5.  def matcher(attrInfoProvider: AttrInfoProvider)(rules: List[Rule]): Matcher
6.  object Hash extends Serializable
7.  object Matching
8.  object Predicate
9.  object TreeF