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

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

All Implemented Interfaces:

LightestClauseHeuristic

public class DefaultLightestClauseHeuristic
extends java.lang.Object
implements LightestClauseHeuristic

Constructor Summary

DefaultLightestClauseHeuristic()

Method Summary

void	addedClauseToSOS(Clause clause)
Clause	getLightestClause()
void	initialSOS(java.util.Set<Clause> clauses)
void	removedClauseFromSOS(Clause clause)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultLightestClauseHeuristic

public DefaultLightestClauseHeuristic()

Method Detail

getLightestClause

public Clause getLightestClause()

Specified by:

getLightestClause in interface LightestClauseHeuristic

initialSOS

public void initialSOS(java.util.Set<Clause> clauses)

Specified by:

initialSOS in interface LightestClauseHeuristic

addedClauseToSOS

public void addedClauseToSOS(Clause clause)

Specified by:

addedClauseToSOS in interface LightestClauseHeuristic

removedClauseFromSOS

public void removedClauseFromSOS(Clause clause)

Specified by:

removedClauseFromSOS in interface LightestClauseHeuristic