public KLabel getCellFragmentLabel(KLabel cellLabel) { Sort s = labels.getCodomain(cellLabel); return cfg.getCellFragmentLabel(s); }
public KLabel getCellFragmentLabel(KLabel cellLabel) { Sort s = labels.getCodomain(cellLabel); return cfg.getCellFragmentLabel(s); }