C# Класс AIMA.Core.Logic.Propositional.Algorithms.PLResolution.ClauseSymbols

Показать файл Открыть проект

Открытые свойства

Свойство Тип Описание
clause1Symbols List
clause2Symbols List
positiveInClause1NegativeInClause2 List

Открытые методы

Метод Описание
ClauseSymbols ( Sentence clause1, Sentence clause2 ) : System
getComplementedSymbols ( ) : List

Описание методов

ClauseSymbols() публичный Метод

public ClauseSymbols ( Sentence clause1, Sentence clause2 ) : System
clause1 AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
clause2 AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Результат System

getComplementedSymbols() публичный Метод

public getComplementedSymbols ( ) : List
Результат List

Описание свойств

clause1Symbols публичное свойство

public List clause1Symbols
Результат List

clause2Symbols публичное свойство

public List clause2Symbols
Результат List

positiveInClause1NegativeInClause2 публичное свойство

public List positiveInClause1NegativeInClause2
Результат List