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

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

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

Private Methods

Méthode	Description
indexClause ( Clause c ) : void

Method Details

IndexedClauses() public méthode

public IndexedClauses ( LightestClauseHeuristic lightestClauseHeuristic, List sos, List usable ) : System
lightestClauseHeuristic	LightestClauseHeuristic
sos	List
usable	List
Résultat	System

addClause() public méthode

public addClause ( Clause c, List sos, List usable ) : void
c	Clause
sos	List
usable	List
Résultat	void