logicvardef
Back to table
/*
BasicType
logicvardef
[logicvardef f]=function(logicvardef g);
Used to define a logic-value of a logic-variable. ie f=x1*(logicvardef(x2,DontCare))*x3, in this case for indicates the x2 is a DontCare variable.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction PermuteLogicFunction IsParityFunction IsSymmetricFunction AndXor BinaryNumberToString GrayCode OneComplement ToDualFunction ToPOS ToShannonTree ToTruthTable ToXORP Dimacs Email Equiv ExcitationTable RadixFromIndex OrAnd AutoAssignInputAndStateVariables InputVariables ToStateTransitionTable CreateCompactTable Implementation ToDigitalSystem SimpleInner StateTransition GetDontCareLogicFunction ComputeFunctionOrder Zero