public interface GroundRule
GroundAtoms
.
GroundRules are templated by a parent Rule
.
Modifier and Type | Method and Description |
---|---|
Set<GroundAtom> |
getAtoms() |
Rule |
getRule() |
List<GroundRule> |
negate()
Negate this ground rule and get the corresponding ground rule(s).
|
Set<GroundAtom> getAtoms()
GroundAtoms
which determine this
GroundRule's incompatibility or infeasibilityList<GroundRule> negate()
Copyright © 2018 University of California, Santa Cruz. All rights reserved.