Package ai.libs.jaicore.logic.fol.algorithms.resolution

Class ResolutionTree

java.lang.Object

ai.libs.jaicore.logic.fol.algorithms.resolution.ResolutionTree

public class ResolutionTree
extends java.lang.Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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

Constructor Detail

ResolutionTree

public ResolutionTree(java.util.Set<Clause> baseClauses)

Method Detail

addResolutionStep

public void addResolutionStep(ResolutionStep step)

getBaseClauses

public java.util.Set<Clause> getBaseClauses()

getResolventsWithTheirSteps

public java.util.Map<Clause,ResolutionStep> getResolventsWithTheirSteps()

isClausePairAdmissible

public boolean isClausePairAdmissible(ResolutionPair pair)

getAllClausesUsedToObtainResolvent

public java.util.Set<Clause> getAllClausesUsedToObtainResolvent(Clause resolvent)

containsResolvent

public boolean containsResolvent(Clause resolvent)

containsEmptyClause

public boolean containsEmptyClause()

getAllStepsUsedToObtainResolvent

public java.util.Set<ResolutionStep> getAllStepsUsedToObtainResolvent(Clause resolvent)