• 홈
• CNFifyTests
• CNFifyTestClass

C# 클래스 CNFifyTests.CNFifyTestClass

파일 보기 프로젝트 열기: Felienne/Quarto

공개 프로퍼티들

프로퍼티	타입	설명
a	CNFify.Term
b	CNFify.Term
c	CNFify.Term
p	CNFify.Term
q	CNFify.Term
r	CNFify.Term

비공개 메소드들

메소드	설명
InnerDistribution ( ) : void
MakeAndList ( ) : void
MakeAndListWithOr ( ) : void
SimpleDeMorgan ( ) : void
SimpleDistribution ( ) : void
SimpleEquality ( ) : void
SimpleRemoveNotBImp ( ) : void
theWholeShebangFalse_returns_UNSAT ( ) : void
theWholeShebangTrue_returns_SAT ( ) : void
theWholeShebang_Simple_term_returns_SAT ( ) : void

프로퍼티 상세