C# Class AIMA.Core.Logic.FOL.CNFConstructor

Inheritance: FOLVisitor

Datei anzeigen Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
CNFConstructor ( ) : System
construct ( Sentence orDistributedOverAnd ) : CNF
visitConnectedSentence ( ConnectedSentence sentence, Object arg ) : Object
visitConstant ( Constant constant, Object arg ) : Object
visitFunction ( Function function, Object arg ) : Object
visitNotSentence ( NotSentence sentence, Object arg ) : Object
visitPredicate ( Predicate p, Object arg ) : Object
visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
visitTermEquality ( TermEquality equality, Object arg ) : Object
visitVariable ( Variable variable, Object arg ) : Object

Method Details

CNFConstructor() public method

public CNFConstructor ( ) : System
return	System

construct() public method

public construct ( Sentence orDistributedOverAnd ) : CNF
orDistributedOverAnd	Sentence
return	AIMA.Core.Logic.FOL.KB.Data.CNF

visitConnectedSentence() public method

public visitConnectedSentence ( ConnectedSentence sentence, Object arg ) : Object
sentence	AIMA.Core.Logic.FOL.Parsing.AST.ConnectedSentence
arg	Object
return	Object

visitConstant() public method

public visitConstant ( Constant constant, Object arg ) : Object
constant	AIMA.Core.Logic.FOL.Parsing.AST.Constant
arg	Object
return	Object

visitFunction() public method

public visitFunction ( Function function, Object arg ) : Object
function	Function
arg	Object
return	Object

visitNotSentence() public method

public visitNotSentence ( NotSentence sentence, Object arg ) : Object
sentence	AIMA.Core.Logic.FOL.Parsing.AST.NotSentence
arg	Object
return	Object

visitPredicate() public method

public visitPredicate ( Predicate p, Object arg ) : Object
p	AIMA.Core.Logic.FOL.Parsing.AST.Predicate
arg	Object
return	Object

visitQuantifiedSentence() public method

public visitQuantifiedSentence ( QuantifiedSentence sentence, Object arg ) : Object
sentence	AIMA.Core.Logic.FOL.Parsing.AST.QuantifiedSentence
arg	Object
return	Object

visitTermEquality() public method

public visitTermEquality ( TermEquality equality, Object arg ) : Object
equality	AIMA.Core.Logic.FOL.Parsing.AST.TermEquality
arg	Object
return	Object

visitVariable() public method

public visitVariable ( Variable variable, Object arg ) : Object
variable	AIMA.Core.Logic.FOL.Parsing.AST.Variable
arg	Object
return	Object