jtp.fol
Class CanonicalVariables

java.lang.Object
  |
  +--jtp.fol.CanonicalVariables

public class CanonicalVariables

extends Object

Constructor Summary

CanonicalVariables()

Method Summary

protected Clause	canonicalize_internal(Clause cl)
protected CNFSentence	canonicalize_internal(CNFSentence sent)
protected List	canonicalize_internal(List l)
protected Literal	canonicalize_internal(Literal l)
Clause	canonicalize(Clause arg)
CNFSentence	canonicalize(CNFSentence arg)
List	canonicalize(List arg)
Literal	canonicalize(Literal arg)
protected Variable	createVariable()
protected void	reset()

Methods inherited from class java.lang.Object

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

Constructor Detail

CanonicalVariables

public CanonicalVariables()

Method Detail

createVariable

protected Variable createVariable()

reset

protected void reset()

canonicalize

public List canonicalize(List arg)

canonicalize

public CNFSentence canonicalize(CNFSentence arg)

canonicalize

public Clause canonicalize(Clause arg)

canonicalize

public Literal canonicalize(Literal arg)

canonicalize_internal

protected List canonicalize_internal(List l)

canonicalize_internal

protected Literal canonicalize_internal(Literal l)

canonicalize_internal

protected Clause canonicalize_internal(Clause cl)

canonicalize_internal

protected CNFSentence canonicalize_internal(CNFSentence sent)