aima.logic.fol.kb.data
Class Clause

java.lang.Object
  aima.logic.fol.kb.data.Clause

public class Clause
extends java.lang.Object

Constructor Summary

Clause()

Clause(java.util.List<Literal> lits)

Clause(java.util.List<Literal> lits1, java.util.List<Literal> lits2)

Method Summary

void	addLiteral(Literal literal)
void	addNegativeLiteral(AtomicSentence atom)
void	addPositiveLiteral(AtomicSentence atom)
java.util.Set<Clause>	binaryResolvents(Clause othC)
boolean	equals(java.lang.Object othObj)
java.lang.String	getEqualityIdentity()
java.util.Set<Clause>	getFactors()
java.util.Set<Literal>	getLiterals()
java.util.List<Literal>	getNegativeLiterals()
java.util.Set<Clause>	getNonTrivialFactors()
int	getNumberLiterals()
int	getNumberNegativeLiterals()
int	getNumberPositiveLiterals()
java.util.List<Literal>	getPositiveLiterals()
ProofStep	getProofStep()
int	hashCode()
boolean	isDefiniteClause()
boolean	isEmpty()
boolean	isHornClause()
boolean	isImmutable()
boolean	isImplicationDefiniteClause()
boolean	isStandardizedApartCheckRequired()
boolean	isTautology()
boolean	isUnitClause()
void	setImmutable()
void	setProofStep(ProofStep proofStep)
void	setStandardizedApartCheckNotRequired()
boolean	subsumes(Clause othC)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Clause

public Clause()

Clause

public Clause(java.util.List<Literal> lits)

Clause

public Clause(java.util.List<Literal> lits1,
              java.util.List<Literal> lits2)

Method Detail

getProofStep

public ProofStep getProofStep()

setProofStep

public void setProofStep(ProofStep proofStep)

isImmutable

public boolean isImmutable()

setImmutable

public void setImmutable()

isStandardizedApartCheckRequired

public boolean isStandardizedApartCheckRequired()

setStandardizedApartCheckNotRequired

public void setStandardizedApartCheckNotRequired()

isEmpty

public boolean isEmpty()

isUnitClause

public boolean isUnitClause()

isDefiniteClause

public boolean isDefiniteClause()

isImplicationDefiniteClause

public boolean isImplicationDefiniteClause()

isHornClause

public boolean isHornClause()

isTautology

public boolean isTautology()

addLiteral

public void addLiteral(Literal literal)

addPositiveLiteral

public void addPositiveLiteral(AtomicSentence atom)

addNegativeLiteral

public void addNegativeLiteral(AtomicSentence atom)

getNumberLiterals

public int getNumberLiterals()

getNumberPositiveLiterals

public int getNumberPositiveLiterals()

getNumberNegativeLiterals

public int getNumberNegativeLiterals()

getLiterals

public java.util.Set<Literal> getLiterals()

getPositiveLiterals

public java.util.List<Literal> getPositiveLiterals()

getNegativeLiterals

public java.util.List<Literal> getNegativeLiterals()

getFactors

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

getNonTrivialFactors

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

subsumes

public boolean subsumes(Clause othC)

binaryResolvents

public java.util.Set<Clause> binaryResolvents(Clause othC)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object othObj)

Overrides:

equals in class java.lang.Object

getEqualityIdentity

public java.lang.String getEqualityIdentity()