C# 클래스 AIMA.Core.Logic.Propositional.Algorithms.PLResolution.ClauseSymbols

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net

공개 프로퍼티들

프로퍼티 타입 설명
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