Package org.jreliability.booleanfunction.common
Provides commonly used implementations for the Boolean functions used to
model the system.
-
Class Summary Class Description ANDTerm FALSETerm LinearTerm TheLinearTerm
represents a linear constraint of the form:
left-hand-side comparator right-hand-side
.LiteralTerm<T> TheLiteralTerm
represents a literal, i.e.NOTTerm ORTerm TRUETerm -
Enum Summary Enum Description LinearTerm.Comparator TheLinearTerm.Comparator
determines the comparator in theLinearTerm
, i.e.