Interface | Description |
---|---|
GroundRule |
A function that either constrains or measures the compatibility of the
values of
GroundAtoms . |
Rule |
A template for functions that either constrain or measure the compatibility
of the values of GroundAtom.
|
UnweightedGroundRule | |
UnweightedRule |
A template for
UnweightedGroundRules ,
which constrain the values that GroundAtoms can take. |
WeightedGroundRule | |
WeightedRule |
Class | Description |
---|---|
AbstractRule |
Base class for all (first order, i.e., not ground) rules.
|
Copyright © 2018 University of California, Santa Cruz. All rights reserved.