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
IsOneFunction IsPositiveFunction IsSymmetricFunction IsUnateFunctionTo AndXor List MaxValue ToVariableInvertedFunction Diagram DiagramGateName DigitalSystem ExcitationTable logicvardef PositiveIntegerToMantissa OrAnd Print Save ShortestInputsForTransition ToDigitalSystem Balanced DontCare MultiCover TimingChart TruthTable CreateFromLogicFunctions GetDontCareLogicFunction GetPositiveLogicFunction ComputeFunctionOrder IndependentBase Zero