public int FindIneqIndex(ListHyp hypermap, Label ineqId)
{
try
{
if (!constraints.ContainsKey(ineqId.name))
{
throw new Exception("Constraint " + ineqId.name + " is not defined in 000.txt");
}
Definition c = constraints[ineqId.name];
HypermapElement element = hypermap.Translate(c.domain, ineqId.index);
if (element == null)
{
throw new Exception(
String.Format("Element with the index {0} is not found for the domain {1}", ineqId.index, c.domain));
}
return(hypermap.FindElementIndex(c.set, element));
}
catch (Exception e)
{
throw new Exception(
String.Format("Inequality {0} problem: {1}", ineqId.name, e.Message));
}
}
public int FindIneqIndex(ListHyp hypermap, Label ineqId)
{
Definition c = constraints[ineqId.name];
HypermapElement element = hypermap.Translate(c.domain, ineqId.index);
return(hypermap.FindElementIndex(c.set, element));
}
public HypermapElement TranslateIneq(ListHyp hypermap, Label ineqId)
{
try
{
string domain = constraints[ineqId.name].domain;
return(hypermap.Translate(domain, ineqId.index));
}
catch (Exception e)
{
Console.WriteLine("TranslateIneq() Error: ineqId = {0}", ineqId);
throw e;
}
}
/// <summary>
/// Returns a hypermap element corresponding to the variable name
/// </summary>
/// <param name="varName"></param>
/// <returns></returns>
public HypermapElement TranslateVariable(ListHyp hypermap, Label varName)
{
string domain = variables[varName.name].domain;
return hypermap.Translate(domain, varName.index);
}
public HypermapElement TranslateIneq(ListHyp hypermap, Label ineqId)
{
try
{
string domain = constraints[ineqId.name].domain;
return hypermap.Translate(domain, ineqId.index);
}
catch (Exception e)
{
Console.WriteLine("TranslateIneq() Error: ineqId = {0}", ineqId);
throw e;
}
}
public int FindIneqIndex(ListHyp hypermap, Label ineqId)
{
try
{
if (!constraints.ContainsKey(ineqId.name))
throw new Exception("Constraint " + ineqId.name + " is not defined in 000.txt");
Definition c = constraints[ineqId.name];
HypermapElement element = hypermap.Translate(c.domain, ineqId.index);
if (element == null)
{
throw new Exception(
String.Format("Element with the index {0} is not found for the domain {1}", ineqId.index, c.domain));
}
return hypermap.FindElementIndex(c.set, element);
}
catch (Exception e)
{
throw new Exception(
String.Format("Inequality {0} problem: {1}", ineqId.name, e.Message));
}
}
public HypermapElement TranslateIneq(ListHyp hypermap, Label ineqId)
{
string domain = constraints[ineqId.name].domain;
return(hypermap.Translate(domain, ineqId.index));
}
/// <summary>
/// Returns a hypermap element corresponding to the variable name
/// </summary>
/// <param name="varName"></param>
/// <returns></returns>
public HypermapElement TranslateVariable(ListHyp hypermap, Label varName)
{
string domain = variables[varName.name].domain;
return(hypermap.Translate(domain, varName.index));
}
public HypermapElement TranslateIneq(ListHyp hypermap, Label ineqId)
{
string domain = constraints[ineqId.name].domain;
return hypermap.Translate(domain, ineqId.index);
}
public int FindIneqIndex(ListHyp hypermap, Label ineqId)
{
Definition c = constraints[ineqId.name];
HypermapElement element = hypermap.Translate(c.domain, ineqId.index);
return hypermap.FindElementIndex(c.set, element);
}