/// <summary>
/// Gets the name of the decision variable representing whether a specific relation holds for a qualitative edge
/// </summary>
/// <param name="edge"></param>
/// <returns></returns>
public static string GetDVarName(this QualitativeEdge edge, QualitativeRelation relation)
{
return(String.Format("{0}-{1}-dvar", edge.GetUId(), relation.Name));
}
/// <summary>
/// Gets the name of the decision variable representing the chosen relation for a qualitative edge
/// </summary>
/// <param name="edge"></param>
/// <returns></returns>
public static string GetDVarName(this QualitativeEdge edge)
{
return(String.Format("{0}-dvar", edge.GetUId()));
}