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	Description
static Options.Builder	Options.builder(String expr)
Options.Builder	Options.Builder.contextLoader(ClassLoader contextLoader)
Options.Builder	Options.Builder.importClass(Class clazz)
Options.Builder	Options.Builder.importStatic(Class clazz, String member)
Options.Builder	Options.Builder.symbol(String name, Symbol type)
Options.Builder	Options.Builder.symbols(Map<String,Symbol> symbols)