public interface UnweightedGroundRule extends GroundRule
Modifier and Type | Method and Description |
---|---|
ConstraintTerm |
getConstraintDefinition() |
double |
getInfeasibility()
Returns the infeasibility of the truth values of this GroundRule's
GroundAtoms . |
UnweightedRule |
getRule() |
getAtoms, negate
UnweightedRule getRule()
getRule
in interface GroundRule
Rule
ConstraintTerm getConstraintDefinition()
double getInfeasibility()
GroundAtoms
.
Specifically, returns the distance between the value of the constraint's functional definition and that function's nearest feasible value.
Infeasibility is always non-negative.
Copyright © 2018 University of California, Santa Cruz. All rights reserved.