| Modifier and Type | Method and Description |
|---|---|
Level |
build() |
Level.Builder |
formula(String text,
org.openrdf.model.URI... term) |
Level.Builder |
id(org.openrdf.model.URI id) |
Level.Builder |
rollUpTo(Level broader) |
public Level.Builder id(org.openrdf.model.URI id)
public Level.Builder formula(String text, org.openrdf.model.URI... term)
public Level.Builder rollUpTo(Level broader)
public Level build()
Copyright © 2019. All rights reserved.