Home
last modified time | relevance | path

Searched defs:undoPos (Results 1 – 6 of 6) sorted by relevance

/dports/math/clasp/clasp-3.3.5/src/
H A Dminimize_constraint.cpp300 … DefaultMinimize::computeImplicationSet(const Solver& s, const WeightLiteral& p, uint32& undoPos) { in computeImplicationSet()
330 uint32 undoPos = undoTop_; in propagateImpl() local
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dminimize_constraint.cpp300 … DefaultMinimize::computeImplicationSet(const Solver& s, const WeightLiteral& p, uint32& undoPos) { in computeImplicationSet()
330 uint32 undoPos = undoTop_; in propagateImpl() local
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dminimize_constraint.cpp300 … DefaultMinimize::computeImplicationSet(const Solver& s, const WeightLiteral& p, uint32& undoPos) { in computeImplicationSet()
330 uint32 undoPos = undoTop_; in propagateImpl() local
/dports/sysutils/dvdisaster/dvdisaster-0.79.5/
H A Draw-editor.c73 int undoPos; member
/dports/graphics/blender/blender-2.91.0/extern/mantaflow/preprocessed/
H A Dlevelset.cpp845 std::stack<Vec3i> undoPos; in fillHoles() local
/dports/multimedia/kdenlive/kdenlive-21.12.3/src/timeline2/view/
H A Dtimelinecontroller.cpp2906 Fun undoPos = [this, currentPos]() { in insertClipZone() local
2975 Fun undoPos = [this, currentPos]() { in insertZone() local