public void setObjectRestriction(final boolean isObjectRestriction) { this._isObjectRestriction = Bool.create(isObjectRestriction); } }
public void setObjectRestriction(final boolean isObjectRestriction) { this._isObjectRestriction = Bool.create(isObjectRestriction); } }
public void setObjectRestriction(final boolean isObjectRestriction) { this._isObjectRestriction = Bool.create(isObjectRestriction); } }
@Override public Bool getSat(final ATermAppl c) { final CachedNode cached = get(c); return cached == null ? Bool.UNKNOWN : Bool.create(!cached.isBottom()); }
@Override public Bool getSat(final ATermAppl c) { final CachedNode cached = get(c); return cached == null ? Bool.UNKNOWN : Bool.create(!cached.isBottom()); }