Home
last modified time | relevance | path

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

/dports/math/SCIP/scip-7.0.3/src/xml/
H A Dxmlparse.c655 IS_NOTATION, in handleDecl() enumerator
671 { "NOTATION", IS_NOTATION }, in handleDecl()
736 case IS_NOTATION : in handleDecl()