FeedbackSystem
Back to table
/*
LogicObject
FeedbackSystem
[FeedbackSystem f]=FeedbackSystem(inputindex){ };
Define a sequential logic-object in the form of logic-functions
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBlankFunction IsMonotonicFunction IsSymmetricFunction IsZeroFunction NineComplement binaryioset() binaryioset ToAndXor ToDiagram ToDualFunction ToXORP Dimacs LogicScript logicvardef() NumberSystem real() Realization SAT Solve TransitionSeries CreateCompactTableWithFullSimplification Simplification Compatibility FastVerificationData SimpleInner CreateFromLogicFunctions GetSubTable AdjustLogicVariableCount ShrinkLogicFunction Zero