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

Наследование: PLVisitor

Показать файл Открыть проект Примеры использования класса

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

Метод	Описание
Model ( ) : System
ToString ( ) : String
extend ( Symbol symbol, bool b ) : Model
flip ( Symbol s ) : Model
getAssignedSymbols ( ) : ReadOnlyCollection
getStatus ( Symbol symbol ) : bool
isFalse ( Sentence clause ) : bool
isFalse ( Symbol symbol ) : bool
isTrue ( Sentence clause ) : bool
isTrue ( Symbol symbol ) : bool
isUnknown ( Sentence clause ) : bool
print ( ) : void
visitBinarySentence ( BinarySentence bs, Object arg ) : Object
visitFalseSentence ( FalseSentence fs, Object arg ) : Object
visitMultiSentence ( MultiSentence fs, Object argd ) : Object
visitNotSentence ( UnarySentence fs, Object arg ) : Object
visitSymbol ( Symbol s, Object arg ) : Object
visitTrueSentence ( TrueSentence ts, Object arg ) : Object

Описание методов

Model() публичный Метод

public Model ( ) : System
Результат	System

ToString() публичный Метод

public ToString ( ) : String
Результат	String

extend() публичный Метод

public extend ( Symbol symbol, bool b ) : Model
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
b	bool
Результат	Model

flip() публичный Метод

public flip ( Symbol s ) : Model
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
Результат	Model

getAssignedSymbols() публичный Метод

public getAssignedSymbols ( ) : ReadOnlyCollection
Результат	ReadOnlyCollection

getStatus() публичный Метод

public getStatus ( Symbol symbol ) : bool
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
Результат	bool

isFalse() публичный Метод

public isFalse ( Sentence clause ) : bool
clause	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Результат	bool

isFalse() публичный Метод

public isFalse ( Symbol symbol ) : bool
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
Результат	bool

isTrue() публичный Метод

public isTrue ( Sentence clause ) : bool
clause	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Результат	bool

isTrue() публичный Метод

public isTrue ( Symbol symbol ) : bool
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
Результат	bool

isUnknown() публичный Метод

public isUnknown ( Sentence clause ) : bool
clause	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Результат	bool

print() публичный Метод

public print ( ) : void
Результат	void

visitBinarySentence() публичный Метод

public visitBinarySentence ( BinarySentence bs, Object arg ) : Object
bs	AIMA.Core.Logic.Propositional.Parsing.Ast.BinarySentence
arg	Object
Результат	Object

visitFalseSentence() публичный Метод

public visitFalseSentence ( FalseSentence fs, Object arg ) : Object
fs	AIMA.Core.Logic.Propositional.Parsing.Ast.FalseSentence
arg	Object
Результат	Object

visitMultiSentence() публичный Метод

public visitMultiSentence ( MultiSentence fs, Object argd ) : Object
fs	AIMA.Core.Logic.Propositional.Parsing.Ast.MultiSentence
argd	Object
Результат	Object

visitNotSentence() публичный Метод

public visitNotSentence ( UnarySentence fs, Object arg ) : Object
fs	AIMA.Core.Logic.Propositional.Parsing.Ast.UnarySentence
arg	Object
Результат	Object

visitSymbol() публичный Метод

public visitSymbol ( Symbol s, Object arg ) : Object
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
arg	Object
Результат	Object

visitTrueSentence() публичный Метод

public visitTrueSentence ( TrueSentence ts, Object arg ) : Object
ts	AIMA.Core.Logic.Propositional.Parsing.Ast.TrueSentence
arg	Object
Результат	Object