public ConceptInfo(final ATermAppl c, final boolean storeSuccessors, final boolean noTriggers) { _concept = c; _successors = storeSuccessors ? new MultiValueMap<>() : null; _predecessors.clear(); _triggers = noTriggers ? null : SetUtils.create(); }
public String format() { return DurationFormat.LONG.format(getTotal() + getElapsed()); } }
public Timers() { _mainTimer = createTimer("main"); _mainTimer.start(); }
public static Properties singleton(final String key, final String value) { return new PropertiesBuilder().set(key, value).build(); } }
private static ATermAppl makeAnon(final int id) { return ATermUtils.makeTermAppl(ANON + id); } }
@Override public String toString() { return ATermUtils.toString(_name); } }
/** * Create a variable term with the given name. * * @param name name of the variable * @return an ATermAppl with a single argument for variable name */ public static ATermAppl var(final String name) { return ATermUtils.makeVar(name); }
@Override public Set<Role> getProperSubRoles() { return SetUtils.difference(_subRoles, _superRoles); }
public BinaryTBox() { _unfoldings = CollectionUtils.makeMap(); _conditionalUnfoldings = CollectionUtils.makeIdentityMap(); }
/** * Adds a collection of elements to the partial _order. * * @param elements new elements to add */ public void addAll(final Collection<? extends T> elements) { for (final T toInsert : elements) add(toInsert); }
public void setObjectRestriction(final boolean isObjectRestriction) { this._isObjectRestriction = Bool.create(isObjectRestriction); } }
@Override public void visitMin(final ATermAppl term) { visitQCR(term); }
@Override public Set<Role> getEquivalentProperties() { return SetUtils.intersection(_subRoles, _superRoles); }
public ConceptInfo(final ATermAppl c, final boolean storeSuccessors, final boolean noTriggers) { _concept = c; _successors = storeSuccessors ? new MultiValueMap<>() : null; _predecessors.clear(); _triggers = noTriggers ? null : SetUtils.create(); }
public String format() { return DurationFormat.LONG.format(getTotal() + getElapsed()); } }
public Timers() { _mainTimer = createTimer("main"); _mainTimer.start(); }
/** * Adds a collection of elements to the partial _order. * * @param elements new elements to add */ public void addAll(final Collection<? extends T> elements) { for (final T toInsert : elements) add(toInsert); }