aima.logic.fol
Class SubsumptionElimination

java.lang.Object
  aima.logic.fol.SubsumptionElimination

public class SubsumptionElimination
extends java.lang.Object

Constructor Summary

SubsumptionElimination()

Method Summary

static java.util.Set<Clause>

findSubsumedClauses(java.util.Set<Clause> clauses)

Methods inherited from class java.lang.Object

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

Constructor Detail

SubsumptionElimination

public SubsumptionElimination()

Method Detail

findSubsumedClauses

public static java.util.Set<Clause> findSubsumedClauses(java.util.Set<Clause> clauses)