C# 클래스 AIMA.Core.Logic.Propositional.Algorithms.Model

상속: PLVisitor
파일 보기 프로젝트 열기: PaulMineau/AIMA.Net 1 사용 예제들

공개 메소드들

메소드 설명
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