C# Class AIMA.Core.Logic.Propositional.Algorithms.PLFCEntails.HornClause

Datei anzeigen Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
Equals ( Object o ) : bool
GetHashCode ( ) : int
HornClause ( Sentence sentence, PLFCEntails plfcEntails ) : System
ToString ( ) : String
getPremiseSymbols ( ) : List
head ( ) : Symbol
premisesContainsSymbol ( Symbol q ) : bool

Private Methods

Method	Description
isImpliedSentence ( Sentence sentence ) : bool

Method Details

Equals() public method

public Equals ( Object o ) : bool
o	Object
return	bool

GetHashCode() public method

public GetHashCode ( ) : int
return	int

HornClause() public method

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

ToString() public method

public ToString ( ) : String
return	String

getPremiseSymbols() public method

public getPremiseSymbols ( ) : List
return	List

head() public method

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

premisesContainsSymbol() public method

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