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

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

Méthode	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

Méthode	Description
isImpliedSentence ( Sentence sentence ) : bool

Method Details

Equals() public méthode

public Equals ( Object o ) : bool
o	Object
Résultat	bool

GetHashCode() public méthode

public GetHashCode ( ) : int
Résultat	int

HornClause() public méthode

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

ToString() public méthode

public ToString ( ) : String
Résultat	String

getPremiseSymbols() public méthode

public getPremiseSymbols ( ) : List
Résultat	List

head() public méthode

public head ( ) : Symbol
Résultat	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol

premisesContainsSymbol() public méthode

public premisesContainsSymbol ( Symbol q ) : bool
q	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
Résultat	bool