public PartialOrderComparator<ATermAppl> getComparator() { return _builder.getComparator(); }
public PartialOrderComparator<ATermAppl> getComparator() { return _builder.getComparator(); }
public PartialOrderComparator<ATermAppl> getComparator() { return _builder.getComparator(); }
public PartialOrderComparator<ATermAppl> getComparator() { return _builder.getComparator(); }