public class EditorCriterionDifferentialPrivacy extends EditorCriterion<ModelDifferentialPrivacyCriterion>
Constructor and Description |
---|
EditorCriterionDifferentialPrivacy(org.eclipse.swt.widgets.Composite parent,
ModelDifferentialPrivacyCriterion model,
Controller controller,
Model arxmodel)
Creates a new instance.
|
dispose, getModel, parseDefault
public EditorCriterionDifferentialPrivacy(org.eclipse.swt.widgets.Composite parent, ModelDifferentialPrivacyCriterion model, Controller controller, Model arxmodel)
parent
- model
-