Class | Description |
---|---|
GroundLinearConstraint |
A linear constraint on the truth values of
GroundAtoms |
GroundValueConstraint |
A simple constraint that fixes the truth value of a
RandomVariableAtom |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.