Home
last modified time | relevance | path

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

/dports/math/gambit/gambit-16.0.1/src/gui/
H A Dstyle.cc332 else if (s == "value") m_branchAboveLabel = GBT_BRANCH_LABEL_VALUE; in SetLabelXML()
341 else if (s == "value") m_branchBelowLabel = GBT_BRANCH_LABEL_VALUE; in SetLabelXML()
H A Dstyle.h60 const int GBT_BRANCH_LABEL_VALUE = 3; variable
H A Defglayout.cc508 case GBT_BRANCH_LABEL_VALUE: in CreateBranchLabel()