Load
Back to table
/*
ScriptEngine
Load
Load(string fname, var a, ...);
Load all or part of variables from a file
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsBlankFunction IsEqual IsLinearFunction IsOneFunction IsThresholdFunction IsUnateFunctionTo FromBinary binary binaryioset() bool ToNotFunction ToVariableInvertedFunction Eq FeedbackSystem logicvardef MantissaToPositiveNumber object() OrAnd POS To2LayerNor ToFeedbackSystem CreateCompactTable GetExcitationTable FastVerificationData DontCare GetNegativeLogicFunction ComputeDONTCARE var Zero