internal static int IthVar(int states) //MinValue always beeing 0
{
int size = Log2(states);
FddDictionary.Add(MaxVar, size);
for (int i = MaxVar; i < MaxVar + size; i++)
{
Kernel.Ithvar(i);
}
int result = MaxVar;
MaxVar += size;
return(result); //result beeing the StartVar.
}
public Bdd(int var)
{
U = Kernel.Ithvar(var);
}
/// <summary>
/// For creating initial variable node.
/// </summary>
/// <param name="var">Variable number</param>
public Bdd(int var)
{
u = Kernel.Ithvar(var);
gen = Kernel.generation;
Ref(u);
}
