Home
last modified time | relevance | path

Searched refs:registerUnit (Results 1 – 14 of 14) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Dcnf.cpp78 if (cnf[i].isUnit()) registerUnit(); in copy()
110 if (cnf[i].isUnit()) registerUnit(); in operator +=()
131 if (c.isUnit()) registerUnit(); in operator +=()
144 void CNF_Formula_Impl::registerUnit() in registerUnit() function in CNF_Formula_Impl
190 void CD_CNF_Formula::registerUnit() in registerUnit() function in CD_CNF_Formula
H A Dcnf_manager.cpp530 cnf.registerUnit(); in translateExpr()
608 cnf.registerUnit(); in convertLemma()
643 cnf.registerUnit(); in addAssumption()
653 cnf.registerUnit(); in addAssumption()
684 cnf.registerUnit(); in addLemma()
/dports/audio/sonic-visualiser/sonic-visualiser-4.0.1/svcore/base/
H A DUnitDatabase.cpp43 UnitDatabase::registerUnit(QString unit) in registerUnit() function in UnitDatabase
55 if (registerNew) registerUnit(unit); in getUnitId()
H A DUnitDatabase.h37 void registerUnit(QString unit);
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dcnf.h132 virtual void registerUnit() = 0;
164 void registerUnit();
190 void registerUnit();
/dports/audio/supercollider/SuperCollider-3.11.0-Source/server/plugins/
H A DMulAddUGens.cpp588 registerUnit<MulAdd>(ft, "MulAdd"); in PluginLoad()
589 registerUnit<Sum3>(ft, "Sum3"); in PluginLoad()
590 registerUnit<Sum4>(ft, "Sum4"); in PluginLoad()
H A DLFUGens.cpp3275 registerUnit<K2A>(ft, "K2A"); in PluginLoad()
3279 registerUnit<DC>(ft, "DC"); in PluginLoad()
/dports/audio/supercollider/SuperCollider-3.11.0-Source/include/plugin_interface/
H A DSC_PlugIn.hpp247 template <class Unit> void registerUnit(InterfaceTable* ft, const char* name, int disableBufferAlia… in registerUnit() function
/dports/audio/sonic-visualiser/sonic-visualiser-4.0.1/svcore/data/model/
H A DSparseTimeValueModel.h115 UnitDatabase::getInstance()->registerUnit(units); in setScaleUnits()
H A DRegionModel.h99 UnitDatabase::getInstance()->registerUnit(units); in setScaleUnits()
H A DBoxModel.h102 UnitDatabase::getInstance()->registerUnit(units); in setScaleUnits()
H A DNoteModel.h131 UnitDatabase::getInstance()->registerUnit(units); in setScaleUnits()
/dports/audio/sonic-visualiser/sonic-visualiser-4.0.1/main/
H A DMainWindow.cpp184 udb->registerUnit("Hz"); in MainWindow()
185 udb->registerUnit("dB"); in MainWindow()
186 udb->registerUnit("s"); in MainWindow()
/dports/audio/supercollider/SuperCollider-3.11.0-Source/
H A DCHANGELOG_archive.md668 - c++ interface: introduce templated registerUnit [\#1753](https://github.com/supercollider/superco…