/// <summary>
/// Constructor for the FDD.
/// </summary>
/// <param name="states">Number of different states an FDD can hold</param>
public Fdd(int states)
{
this.StartVar = FddKernel.IthVar(states);
}
/// <summary>
/// Constructor for the FDD.
/// </summary>
/// <param name="states">Number of different states an FDD can hold</param>
public Fdd(int states)
{
this.StartVar = FddKernel.IthVar(states);
}