logicvardef()
Back to table
/*
BasicType
logicvardef()
[logicvardef() f]=function(logicvardef() g);
A list of logicvardefs.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBiUnateFunctionTo IsInverse IsNegativeUnateFunctionTo IsZeroFunction BDD binary() binary binaryioset ToVariableInvertedFunction Diagram Dimacs logicvardef minterm() Minus Nor RadixToIndex One MaxSAT ShortestInputsForDistinguishTwoStates GetExcitationTable To2layerOrAnd Fast ROBDD DontCare string() Normalization ShrinkLogicFunction var() Zero