public class ResolutionTree
extends java.lang.Object
| Constructor and Description |
|---|
ResolutionTree(java.util.Set<Clause> baseClauses) |
| Modifier and Type | Method and Description |
|---|---|
void |
addResolutionStep(ResolutionStep step) |
boolean |
containsEmptyClause() |
boolean |
containsResolvent(Clause resolvent) |
java.util.Set<Clause> |
getAllClausesUsedToObtainResolvent(Clause resolvent) |
java.util.Set<ResolutionStep> |
getAllStepsUsedToObtainResolvent(Clause resolvent) |
java.util.Set<Clause> |
getBaseClauses() |
java.util.Map<Clause,ResolutionStep> |
getResolventsWithTheirSteps() |
boolean |
isClausePairAdmissible(ResolutionPair pair) |
public ResolutionTree(java.util.Set<Clause> baseClauses)
public void addResolutionStep(ResolutionStep step)
public java.util.Set<Clause> getBaseClauses()
public java.util.Map<Clause,ResolutionStep> getResolventsWithTheirSteps()
public boolean isClausePairAdmissible(ResolutionPair pair)
public java.util.Set<Clause> getAllClausesUsedToObtainResolvent(Clause resolvent)
public boolean containsResolvent(Clause resolvent)
public boolean containsEmptyClause()
public java.util.Set<ResolutionStep> getAllStepsUsedToObtainResolvent(Clause resolvent)