public interface WeightedRule extends Rule
Modifier and Type | Method and Description |
---|---|
double |
getWeight() |
boolean |
isSquared() |
void |
setWeight(double weight) |
getGroundingQuery, getName, getRewritableGroundingFormula, ground, groundAll, isWeighted, requiresSplit, split, supportsGroundingQueryRewriting, supportsIndividualGrounding
Copyright © 2020 University of California, Santa Cruz. All rights reserved.