aima.logic.fol.kb.data
Class CNF

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

public class CNF
extends java.lang.Object

Constructor Summary

CNF(java.util.List<Clause> conjunctionOfClauses)

Method Summary

java.util.List<Clause>	getConjunctionOfClauses()
int	getNumberOfClauses()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CNF

public CNF(java.util.List<Clause> conjunctionOfClauses)

Method Detail

getNumberOfClauses

public int getNumberOfClauses()

getConjunctionOfClauses

public java.util.List<Clause> getConjunctionOfClauses()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object