C# Class AIMA.Core.Logic.Propositional.Algorithms.Model

Inheritance: PLVisitor

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

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

Method Details

Model() public méthode

public Model ( ) : System
Résultat	System

ToString() public méthode

public ToString ( ) : String
Résultat	String

extend() public méthode

public extend ( Symbol symbol, bool b ) : Model
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
b	bool
Résultat	Model

flip() public méthode

public flip ( Symbol s ) : Model
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
Résultat	Model

getAssignedSymbols() public méthode

public getAssignedSymbols ( ) : ReadOnlyCollection
Résultat	ReadOnlyCollection

getStatus() public méthode

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

isFalse() public méthode

public isFalse ( Sentence clause ) : bool
clause	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Résultat	bool

isFalse() public méthode

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

isTrue() public méthode

public isTrue ( Sentence clause ) : bool
clause	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Résultat	bool

isTrue() public méthode

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

isUnknown() public méthode

public isUnknown ( Sentence clause ) : bool
clause	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Résultat	bool

print() public méthode

public print ( ) : void
Résultat	void

visitBinarySentence() public méthode

public visitBinarySentence ( BinarySentence bs, Object arg ) : Object
bs	AIMA.Core.Logic.Propositional.Parsing.Ast.BinarySentence
arg	Object
Résultat	Object

visitFalseSentence() public méthode

public visitFalseSentence ( FalseSentence fs, Object arg ) : Object
fs	AIMA.Core.Logic.Propositional.Parsing.Ast.FalseSentence
arg	Object
Résultat	Object

visitMultiSentence() public méthode

public visitMultiSentence ( MultiSentence fs, Object argd ) : Object
fs	AIMA.Core.Logic.Propositional.Parsing.Ast.MultiSentence
argd	Object
Résultat	Object

visitNotSentence() public méthode

public visitNotSentence ( UnarySentence fs, Object arg ) : Object
fs	AIMA.Core.Logic.Propositional.Parsing.Ast.UnarySentence
arg	Object
Résultat	Object

visitSymbol() public méthode

public visitSymbol ( Symbol s, Object arg ) : Object
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
arg	Object
Résultat	Object

visitTrueSentence() public méthode

public visitTrueSentence ( TrueSentence ts, Object arg ) : Object
ts	AIMA.Core.Logic.Propositional.Parsing.Ast.TrueSentence
arg	Object
Résultat	Object