C# Class AIMA.Core.Logic.Propositional.Algorithms.PLResolution.ClauseSymbols

Show file Open project: PaulMineau/AIMA.Net

Public Properties

Property Type Description
clause1Symbols List
clause2Symbols List
positiveInClause1NegativeInClause2 List

Public Methods

Method Description
ClauseSymbols ( Sentence clause1, Sentence clause2 ) : System
getComplementedSymbols ( ) : List

Method Details

ClauseSymbols() public method

public ClauseSymbols ( Sentence clause1, Sentence clause2 ) : System
clause1 AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
clause2 AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
return System

getComplementedSymbols() public method

public getComplementedSymbols ( ) : List
return List

Property Details

clause1Symbols public property

public List clause1Symbols
return List

clause2Symbols public property

public List clause2Symbols
return List

positiveInClause1NegativeInClause2 public property

public List positiveInClause1NegativeInClause2
return List