TruthTable.GetSubTable
Back to table
/*
Logic-Function-Analysis
TruthTable.GetSubTable
[TruthTable subTable]=TruthTable.GetSubTable(TruthTable table, int outputIndex);
table : a logic function in the TruthTable form
outputIndex : the index of the specified output
subTable : the sub logic function int he TruthTable form
Get a sub-table from the truth-table.
*/
//-------------------------------------------------------------------
// examples
table=TruthTable()
{
2'b00 => 4'b1000;
2'b01 => 4'b0100;
2'b10 => 4'b0010;
2'b11 => 4'b0001;
}
[fandor]=TruthTable.GetSubTable(table,3);
Print(fandor);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsOneFunction IsPositiveFunction IsSelfAntiDualFunction IsSymmetricFunction And ToBinary bool() ToTruthTable ToXORP Email FeedbackSystem Get long() long Print real() ToFullAnd MaxSAT Solve Sequential TransitionSeries ToDigitalSystem FastVerificationData DontCare StateTransition string() string AdjustLogicVariableCount Zero