Home
last modified time | relevance | path

Searched defs:selectVariable (Results 1 – 8 of 8) sorted by relevance

/dports/math/vampire/vampire-4.5.1/SAT/
H A DVariableSelector.cpp42 bool ActiveVariableSelector::selectVariable(unsigned& var) in selectVariable() function in ActiveVariableSelector
201 bool ArrayActiveVariableSelector::selectVariable(unsigned& var) in selectVariable() function in ArrayActiveVariableSelector
239 bool RLCVariableSelector::selectVariable(unsigned& var) in selectVariable() function in RLCVariableSelector
H A DMinimizingSolver.cpp116 void MinimizingSolver::selectVariable(unsigned var) in selectVariable() function in SAT::MinimizingSolver
H A DVariableSelector.hpp85 virtual bool selectVariable(unsigned& var) { in selectVariable() function in SAT::AlternatingVariableSelector
/dports/net/mailcommon/mailcommon-21.12.3/src/snippets/autotests/
H A Dsnippetcustomfileattachmentnamewidgettest.cpp31 auto *selectVariable = w.findChild<QPushButton *>(QStringLiteral("selectVariable")); in shouldHaveDefaultValues() local
/dports/net/mailcommon/mailcommon-21.12.3/src/snippets/
H A Dsnippetcustomfileattachmentnamewidget.cpp47 auto selectVariable = new QPushButton(i18n("Insert Variables"), this); in SnippetCustomFileAttachmentNameWidget() local
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpdt/externaltools/internal/dialog/
H A DExternalToolVariableForm.java179 public void selectVariable(String varName, String varValue) { in selectVariable() method in ExternalToolVariableForm
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/dialogs/
H A DRelativePathVariableGroup.java192 public void selectVariable(String var) { in selectVariable() method in RelativePathVariableGroup
H A DPathVariableDialog.java493 private void selectVariable() { in selectVariable() method in PathVariableDialog