• Главная
• CNFifyTests
• CNFifyTestClass

C# Класс CNFifyTests.CNFifyTestClass

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

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

Свойство	Тип	Описание
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

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