C# 클래스 AIMA.Core.Logic.Propositional.Algorithms.PLFCEntails.HornClause

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

공개 메소드들

메소드	설명
Equals ( Object o ) : bool
GetHashCode ( ) : int
HornClause ( Sentence sentence, PLFCEntails plfcEntails ) : System
ToString ( ) : String
getPremiseSymbols ( ) : List
head ( ) : Symbol
premisesContainsSymbol ( Symbol q ) : bool

비공개 메소드들

메소드	설명
isImpliedSentence ( Sentence sentence ) : bool

메소드 상세

Equals() 공개 메소드

public Equals ( Object o ) : bool
o	Object
리턴	bool

GetHashCode() 공개 메소드

public GetHashCode ( ) : int
리턴	int

HornClause() 공개 메소드

public HornClause ( Sentence sentence, PLFCEntails plfcEntails ) : System
sentence	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
plfcEntails	PLFCEntails
리턴	System

ToString() 공개 메소드

public ToString ( ) : String
리턴	String

getPremiseSymbols() 공개 메소드

public getPremiseSymbols ( ) : List
리턴	List

head() 공개 메소드

public head ( ) : Symbol
리턴	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol

premisesContainsSymbol() 공개 메소드

public premisesContainsSymbol ( Symbol q ) : bool
q	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
리턴	bool