C# Class AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.IndexedClauses

Exibir arquivo Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
IndexedClauses ( LightestClauseHeuristic lightestClauseHeuristic, List sos, List usable ) : System
addClause ( Clause c, List sos, List usable ) : void

Private Methods

Method	Description
indexClause ( Clause c ) : void

Method Details

IndexedClauses() public method

public IndexedClauses ( LightestClauseHeuristic lightestClauseHeuristic, List sos, List usable ) : System
lightestClauseHeuristic	LightestClauseHeuristic
sos	List
usable	List
return	System

addClause() public method

public addClause ( Clause c, List sos, List usable ) : void
c	Clause
sos	List
usable	List
return	void