Uses of Class
manifold.api.highjump.Symbol

Uses of Symbol in manifold.api.highjump

Fields in manifold.api.highjump with type parameters of type Symbol

Modifier and Type	Field and Description
java.util.Map<java.lang.String,Symbol>	Options.symbols

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

Modifier and Type	Method and Description
Options.Builder	Options.Builder.symbol(java.lang.String name, Symbol type)

Method parameters in manifold.api.highjump with type arguments of type Symbol

Modifier and Type	Method and Description
Options.Builder	Options.Builder.symbols(java.util.Map<java.lang.String,Symbol> symbols)