public K getCellAbsentTerm(Sort cellSort) { KLabel l = cfg.getCellAbsentLabel(cellSort); return l == null ? null : KApply(l); }
public K getCellAbsentTerm(Sort cellSort) { KLabel l = cfg.getCellAbsentLabel(cellSort); return l == null ? null : KApply(l); }