C# 클래스 AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver.IndexedClauses

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net

공개 메소드들

메소드	설명
IndexedClauses ( LightestClauseHeuristic lightestClauseHeuristic, List sos, List usable ) : System
addClause ( Clause c, List sos, List usable ) : void

비공개 메소드들

메소드	설명
indexClause ( Clause c ) : void

메소드 상세

IndexedClauses() 공개 메소드

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

addClause() 공개 메소드

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