Uses of Class
manifold.api.highjump.Options

Uses of Options in manifold.api.highjump

Methods in manifold.api.highjump that return Options

Modifier and Type	Method and Description
Options	Options.Builder.build()

Methods in manifold.api.highjump with parameters of type Options

Modifier and Type	Method and Description
java.lang.Object	HighjumpTypeManifold.evaluate(Options options)
java.lang.Object	Highjump.evaluate(Options options)