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

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

Свойство Type Description
clause1Symbols List
clause2Symbols List
positiveInClause1NegativeInClause2 List

Méthodes publiques

Méthode Description
ClauseSymbols ( Sentence clause1, Sentence clause2 ) : System
getComplementedSymbols ( ) : List

Method Details

ClauseSymbols() public méthode

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

getComplementedSymbols() public méthode

public getComplementedSymbols ( ) : List
Résultat List

Property Details

clause1Symbols public_oe property

public List clause1Symbols
Résultat List

clause2Symbols public_oe property

public List clause2Symbols
Résultat List

positiveInClause1NegativeInClause2 public_oe property

public List positiveInClause1NegativeInClause2
Résultat List