Class | Description |
---|---|
AbstractArithmeticRule |
Base class for all (first order, i.e., not ground) arithmetic rules.
|
AbstractGroundArithmeticRule |
Base class for all ground arithmetic rules.
|
UnweightedArithmeticRule |
A template for
UnweightedGroundArithmeticRules . |
UnweightedGroundArithmeticRule |
An
AbstractGroundArithmeticRule that is unweighted, i.e., it is a hard
constraint that must always hold. |
WeightedArithmeticRule | |
WeightedGroundArithmeticRule |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.