Home
last modified time | relevance | path

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

/dports/cad/ktechlab/ktechlab-0.50.0/src/
H A Dflowcontainer.cpp31 b_expanded = true; in FlowContainer()
124 if( b_expanded ) in drawShape()
140 if( b_expanded ) in drawShape()
167 if (!b_expanded) in childRemoved()
190 int h = b_expanded ? height() : topStrip; in updateConnectorPoints()
242 if ( full || !b_expanded ) in setFullBounds()
295 if ( b_expanded == expanded ) in setExpanded()
301 b_expanded = expanded; in setExpanded()
342 if (b_expanded) in updateAttachedPositioning()
381 (*it)->setVisible( isVisible() && b_expanded ); in updateContainedVisibility()
[all …]
H A Dflowcontainer.h41 bool isExpanded() const { return b_expanded; } in isExpanded()
77 bool b_expanded; variable
/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/
H A Dbitvector_theorem_producer.cpp6295 Expr b_expanded = d_theoryBitvector->newConcatExpr(pad, b); in bvUDivTheorem() local
6300 d_theoryBitvector->newBVMultExpr(2*size, b_expanded, div_expanded), in bvUDivTheorem()