public interface UnweightedRule extends Rule
UnweightedGroundRules
,
which constrain the values that GroundAtoms
can take.Modifier and Type | Method and Description |
---|---|
WeightedRule |
relax(double weight,
boolean squared) |
getGroundingQuery, getName, getRewritableGroundingFormula, ground, groundAll, isWeighted, requiresSplit, split, supportsGroundingQueryRewriting, supportsIndividualGrounding
WeightedRule relax(double weight, boolean squared)
Copyright © 2020 University of California, Santa Cruz. All rights reserved.