Home
last modified time | relevance | path

Searched refs:_should_copy (Results 1 – 3 of 3) sorted by relevance

/dports/devel/py-jupyterlab/jupyterlab-3.1.14/jupyterlab/
H A Dfederated_labextensions.py267 def _should_copy(src, dest, logger=None): function
308 if _should_copy(src, dest, logger=logger):
/dports/www/py-notebook/notebook-6.4.5/notebook/
H A Dnbextensions.py994 def _should_copy(src, dest, logger=None): function
1035 if _should_copy(src, dest, logger=logger):
/dports/math/vampire/vampire-4.5.1/Shell/
H A DOptions.hpp837 …longName(l), shortName(s), experimental(false), is_set(false),_should_copy(true), _tag(OptionTag::… in AbstractOptionValue()
925 bool _should_copy; member
926 bool shouldCopy() const { return _should_copy; } in shouldCopy()
1315 DecodeOptionValue(){ AbstractOptionValue::_should_copy=false;} in DecodeOptionValue()
1317 OptionValue(l,s,""), parent(p){ AbstractOptionValue::_should_copy=false;} in DecodeOptionValue()