public interface UnweightedRule extends Rule
UnweightedGroundRules
,
which constrain the values that GroundAtoms
can take.getGroundingQuery, getName, getRewritableGroundingFormula, ground, groundAll, isWeighted, requiresSplit, split, supportsGroundingQueryRewriting, supportsIndividualGrounding
Copyright © 2020 University of California, Santa Cruz. All rights reserved.