Here is a list of all documented namespace functions with links to the namespaces they belong to:

- c -

• ConvertInt64ToDouble() : dlinear
• ConvertInt64ToInt() : dlinear
• ConvertInt64ToRational() : dlinear
• CreateVector() : dlinear
• CStringToMpq() : dlinear::qsopt_ex
• CStringToMpqPtr() : dlinear::qsopt_ex

- d -

• DeltaStrengthen() : dlinear
• DeltaWeaken() : dlinear

- g -

• get_clauses() : dlinear
• GetExtension() : dlinear
• GetFiles() : dlinear

- h -

• HaveIntersection() : dlinear

- i -

• iff() : dlinear
• imply() : dlinear
• invert() : dlinear
• is_atomic() : dlinear
• is_clause() : dlinear
• is_cnf() : dlinear
• IsDifferentiable() : dlinear
• IsInteger() : dlinear

- m -

• make_conjunction() : dlinear
• make_disjunction() : dlinear
• map() : dlinear

- o -

• operator!() : dlinear
• operator-() : dlinear
• operator~() : dlinear

- p -

• ParseBoundType() : dlinear::mps
• parseLogic() : dlinear
• parseLpBound() : dlinear
• parseLpResult() : dlinear
• parseLpSense() : dlinear
• parseNodeOpType() : dlinear::onnx
• ParseSense() : dlinear::mps
• ParseSort() : dlinear::smt2, dlinear::vnnlib

- r -

• relax() : dlinear

- s -

• SortToType() : dlinear::smt2, dlinear::vnnlib
• SplitStringByWhitespace() : dlinear
• StringToMpq() : dlinear::qsopt_ex
• StringToMpqPtr() : dlinear::qsopt_ex

- t -

• toChar() : dlinear
• ToPrefix() : dlinear