public bool tryGetLGTGTD(GT lgt, out GTSD gtd)
{
return(gts.tryGetLTTD(lgt, out gtd));
}
public int getLGTGTI(GT lgt)
{
return(gts.getTI(lgt));
}
public abstract bool tryGetLGTGTI(GT lgt, out GTI gti);
public GTI getLGTGTI(GT lgt)
{
return(gtSS.getTI(lgt));
}
public bool isIt(GT gt)
{
return(universe.index == 12 && (gt.index == 43 || gt.index == 37 || gt.index == 1891));
}
public static Universe.IEmbedTemplate make(SU universe, GT ipgt)
{
return(new SImportTemplateMaker(universe).make(ipgt));
}
////////////////////////////////////////////////////////////////////////////////////////////////////
private bool upToDate(GT gt)
{
return(!gts.Values.Any(mgts => mgts.Contains(gt)));
}
public GroundSubstitutionEC(Universe universe, bool saturate, LVar v, GT t)
: this(universe, saturate)
{
Debug.Assert(t == universe.transitiveMerge(t));
this[v] = t;
}
public void removeGDE(GT gt0, GT gt1)
{
disequalityMap.remove(gt0, gt1);
disequalityMap.remove(gt1, gt0);
}
public bool hasInequalityClass(GT gt)
{
return(disequalityMap.ContainsKey(gt));
}
public bool hasEquivalenceClass(GT gt)
{
return(equivalenceClassMap.ContainsKey(gt));
}
public bool has(GT gt)
{
return(pUnsaturatedGTs.Contains(gt));
}
