Uses of Class
manifold.api.highjump.Options.Builder

Uses of Options.Builder in manifold.api.highjump

Methods in manifold.api.highjump that return Options.Builder

Modifier and Type	Method and Description
static Options.Builder	Options.builder(java.lang.String expr)
Options.Builder	Options.Builder.contextLoader(java.lang.ClassLoader contextLoader)
Options.Builder	Options.Builder.importClass(java.lang.Class clazz)
Options.Builder	Options.Builder.importStatic(java.lang.Class clazz, java.lang.String member)
Options.Builder	Options.Builder.symbol(java.lang.String name, Symbol type)
Options.Builder	Options.Builder.symbols(java.util.Map<java.lang.String,Symbol> symbols)