C# Класс AIMA.Core.Logic.Propositional.Algorithms.PLFCEntails.HornClause

Показать файл Открыть проект

Открытые методы

Метод	Описание
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