Home
last modified time | relevance | path

Searched refs:RuleActivity (Results 1 – 7 of 7) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DPreprocess.cpp378 if (_options.equalityResolutionWithDeletion()!=Options::RuleActivity::OFF && in preprocess()
398 if (_options.generalSplitting()!=Options::RuleActivity::OFF) { in preprocess()
H A DOptions.hpp535 enum class RuleActivity : unsigned int { enum in Shell::Options
2093RuleActivity equalityResolutionWithDeletion() const { return _equalityResolutionWithDeletion.actua… in equalityResolutionWithDeletion()
2132 RuleActivity generalSplitting() const { return _generalSplitting.actualValue; } in generalSplitting()
2395 ChoiceOptionValue<RuleActivity> _equalityResolutionWithDeletion;
2430 ChoiceOptionValue<RuleActivity> _generalSplitting;
H A DOptions.cpp464 …_equalityResolutionWithDeletion = ChoiceOptionValue<RuleActivity>( "equality_resolution_with_delet… in init()
465RuleActivity::INPUT_ONLY,{"input_only","off","on"}); in init()
469 _equalityResolutionWithDeletion.addConstraint(notEqual(RuleActivity::ON)); in init()
490 …_generalSplitting = ChoiceOptionValue<RuleActivity>("general_splitting","gsp",RuleActivity::OFF,{"… in init()
497 _generalSplitting.addConstraint(notEqual(RuleActivity::ON)); in init()
/dports/games/golly/golly-3.3-src/gui-android/Golly/app/src/main/java/net/sf/golly/
H A DRuleActivity.java31 public class RuleActivity extends Activity { class
H A DMainActivity.java950 Intent intent = new Intent(this, RuleActivity.class); in doRule()
/dports/games/golly/golly-3.3-src/gui-wx/configure/
H A Dsources.am6 …rfaceView.java ../../gui-android/Golly/app/src/main/java/net/sf/golly/RuleActivity.java ../../gui-…
H A DMakefile.in941 ../../gui-android/Golly/app/src/main/java/net/sf/golly/RuleActivity.java \