C# Class AIMA.Core.Logic.Propositional.Algorithms.DPLL.SymbolValuePair

显示文件 Open project: PaulMineau/AIMA.Net

Public Properties

Property	Type	Description
symbol	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
value	bool

Public Methods

Method	Description
SymbolValuePair ( ) : System
SymbolValuePair ( Symbol symbol, bool b ) : System
ToString ( ) : String
notNull ( ) : bool

Method Details

SymbolValuePair() public method

public SymbolValuePair ( ) : System
return	System

SymbolValuePair() public method

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

ToString() public method

public ToString ( ) : String
return	String

notNull() public method

public notNull ( ) : bool
return	bool

Property Details

symbol public_oe property

public Symbol,AIMA.Core.Logic.Propositional.Parsing.Ast symbol
return	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol

value public_oe property

public bool value
return	bool