aima.logic.fol.inference.otter.defaultimpl
Class DefaultClauseSimplifier

java.lang.Object
  aima.logic.fol.inference.otter.defaultimpl.DefaultClauseSimplifier

All Implemented Interfaces:

ClauseSimplifier

public class DefaultClauseSimplifier
extends java.lang.Object
implements ClauseSimplifier

Constructor Summary

DefaultClauseSimplifier()

DefaultClauseSimplifier(java.util.List<TermEquality> rewrites)

Method Summary

Clause

simplify(Clause c)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultClauseSimplifier

public DefaultClauseSimplifier()

DefaultClauseSimplifier

public DefaultClauseSimplifier(java.util.List<TermEquality> rewrites)

Method Detail

simplify

public Clause simplify(Clause c)

Specified by:

simplify in interface ClauseSimplifier