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

Inheritance: PLVisitor

Datei anzeigen Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method	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 method

public Model ( ) : System
return	System

ToString() public method

public ToString ( ) : String
return	String

extend() public method

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

flip() public method

public flip ( Symbol s ) : Model
s	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
return	Model

getAssignedSymbols() public method

public getAssignedSymbols ( ) : ReadOnlyCollection
return	ReadOnlyCollection

getStatus() public method

public getStatus ( Symbol symbol ) : bool
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
return	bool

isFalse() public method

public isFalse ( Sentence clause ) : bool
clause	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
return	bool

isFalse() public method

public isFalse ( Symbol symbol ) : bool
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
return	bool

isTrue() public method

public isTrue ( Sentence clause ) : bool
clause	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
return	bool

isTrue() public method

public isTrue ( Symbol symbol ) : bool
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
return	bool

isUnknown() public method

public isUnknown ( Sentence clause ) : bool
clause	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
return	bool

print() public method

public print ( ) : void
return	void

visitBinarySentence() public method

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

visitFalseSentence() public method

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

visitMultiSentence() public method

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

visitNotSentence() public method

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

visitSymbol() public method

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

visitTrueSentence() public method

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