Uses of Class
gate.gui.ParameterDisjunction

Packages that use ParameterDisjunction

gate.gui

Uses of ParameterDisjunction in gate.gui

Fields in gate.gui with type parameters of type ParameterDisjunction

protected List<ParameterDisjunction>

ResourceParametersEditor.parameterDisjunctions A list of ParameterDisjunction