public class UnweightedLogicalRule extends AbstractLogicalRule implements UnweightedRule
formula, negatedDNF
name
Constructor and Description |
---|
UnweightedLogicalRule(Formula f) |
UnweightedLogicalRule(Formula f,
String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other) |
protected AbstractGroundLogicalRule |
groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
boolean |
isWeighted() |
String |
toString() |
getDNF, getFormula, groundAll, groundAll, hashCode
getName
public UnweightedLogicalRule(Formula f)
protected AbstractGroundLogicalRule groundFormulaInstance(List<GroundAtom> posLiterals, List<GroundAtom> negLiterals, int rvaCount)
groundFormulaInstance
in class AbstractLogicalRule
public boolean isWeighted()
isWeighted
in interface Rule
public boolean equals(Object other)
equals
in class AbstractLogicalRule
Copyright © 2018 University of California, Santa Cruz. All rights reserved.