ResolutionTree (jaicore-logic 0.1.3 API)

public class ResolutionTree
extends java.lang.Object

Constructors
Constructor and Description
`ResolutionTree(java.util.Set<Clause> baseClauses)`

All Methods Instance Methods Concrete Methods
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)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 java.util.Set<ResolutionStep> getAllStepsUsedToObtainResolvent(Clause resolvent)

Class ResolutionTree