aima.logic.fol.inference.otter
Interface LightestClauseHeuristic

All Known Implementing Classes:

DefaultLightestClauseHeuristic

public interface LightestClauseHeuristic

Method Summary

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

Method Detail

getLightestClause

Clause getLightestClause()

initialSOS

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

addedClauseToSOS

void addedClauseToSOS(Clause clause)

removedClauseFromSOS

void removedClauseFromSOS(Clause clause)