• Home
• CNFifyTests
• CNFifyTestClass

C# Class CNFifyTests.CNFifyTestClass

Mostra file Open project: Felienne/Quarto

Public Properties

Property	Type	Description
a	CNFify.Term
b	CNFify.Term
c	CNFify.Term
p	CNFify.Term
q	CNFify.Term
r	CNFify.Term

Private Methods

Method	Description
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

Property Details