public class AspCcgDontCareFilter extends ClauseFilter
instance
Constructor and Description |
---|
AspCcgDontCareFilter(CnfSatInstance instance) |
Modifier and Type | Method and Description |
---|---|
boolean |
acceptsClause(int clauseID) |
public AspCcgDontCareFilter(CnfSatInstance instance)
public boolean acceptsClause(int clauseID)
acceptsClause
in class ClauseFilter