public string GetUintVal(string stateVar)
{
return
(Tau1.GetUintVal(stateVar + ".z1") + " ^ "
+ Tau2.GetUintVal(stateVar + ".z2") + " ^ "
+ Tau3.GetUintVal(stateVar + ".z3") + " ^ "
+ Lcg.GetUintVal(stateVar + ".z4"));
}
public string InitState(string stateVar, string seedVar)
{
/*
* return
* Tau1.InitState(stateVar + ".z1", seedVar) + Environment.NewLine
+ Tau2.InitState(stateVar + ".z2", seedVar) + Environment.NewLine
+ Tau3.InitState(stateVar + ".z3", seedVar) + Environment.NewLine
+ Lcg.InitState(stateVar + ".z4", seedVar);
+ /*/
return(Lcg.InitState(stateVar + ".z4", seedVar + " * 8645457") + Environment.NewLine
+ Lcg.StepState(stateVar + ".z4") + Environment.NewLine
+ Lcg.StepState(stateVar + ".z4") + Environment.NewLine
+ Lcg.StepState(stateVar + ".z4") + Environment.NewLine
+ Tau1.InitState(stateVar + ".z1", Lcg.GetUintVal(stateVar + ".z4")) + Environment.NewLine
+ Lcg.StepState(stateVar + ".z4") + Environment.NewLine
+ Tau2.InitState(stateVar + ".z2", Lcg.GetUintVal(stateVar + ".z4")) + Environment.NewLine
+ Lcg.StepState(stateVar + ".z4") + Environment.NewLine
+ Tau3.InitState(stateVar + ".z3", Lcg.GetUintVal(stateVar + ".z4")) + Environment.NewLine
+ Lcg.StepState(stateVar + ".z4") + Environment.NewLine
);
// */
}
