public class UnweightedGroundLogicalRule extends AbstractGroundLogicalRule implements UnweightedGroundRule
function, negLiterals, posLiterals, rule
Modifier | Constructor and Description |
---|---|
protected |
UnweightedGroundLogicalRule(UnweightedLogicalRule r,
List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
Modifier and Type | Method and Description |
---|---|
ConstraintTerm |
getConstraintDefinition() |
double |
getInfeasibility()
Returns the infeasibility of the truth values of this GroundRule's
GroundAtoms . |
UnweightedRule |
getRule() |
protected GroundRule |
instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
String |
toString() |
equals, getAtoms, getFunction, getNegativeAtoms, getPositiveAtoms, hashCode, negate, size
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getAtoms, negate
protected UnweightedGroundLogicalRule(UnweightedLogicalRule r, List<GroundAtom> posLiterals, List<GroundAtom> negLiterals, int rvaCount)
public UnweightedRule getRule()
getRule
in interface GroundRule
getRule
in interface UnweightedGroundRule
Rule
public double getInfeasibility()
UnweightedGroundRule
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.
getInfeasibility
in interface UnweightedGroundRule
public ConstraintTerm getConstraintDefinition()
getConstraintDefinition
in interface UnweightedGroundRule
public String toString()
toString
in class AbstractGroundLogicalRule
protected GroundRule instantiateNegatedGroundRule(Formula disjunction, List<GroundAtom> positiveAtoms, List<GroundAtom> negativeAtoms, String name)
instantiateNegatedGroundRule
in class AbstractGroundLogicalRule
Copyright © 2018 University of California, Santa Cruz. All rights reserved.