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

Inheritance: PLVisitor
显示文件 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