| /dports/math/stp/stp-2.3.3/lib/ToSat/ASTNode/ |
| H A D | ASTtoCNF.cpp | 35 bool ASTtoCNF::onChildDoPos(const ASTNode& varphi, unsigned int idx) in onChildDoPos()
252 ClauseList* ASTtoCNF::SINGLETON(const ASTNode& varphi) in SINGLETON()
266 void ASTtoCNF::scanFormula(const ASTNode& varphi, bool isPos) in scanFormula()
331 void ASTtoCNF::scanTerm(const ASTNode& varphi) in scanTerm()
531 void ASTtoCNF::doRenamingPosXor(const ASTNode& varphi) in doRenamingPosXor()
827 void ASTtoCNF::convertFormulaToCNFPosNOT(const ASTNode& varphi, in convertFormulaToCNFPosNOT()
835 void ASTtoCNF::convertFormulaToCNFPosAND(const ASTNode& varphi, in convertFormulaToCNFPosAND()
1482 ASTNode* ASTtoCNF::ASTNodeToASTNodePtr(const ASTNode& varphi) in ASTNodeToASTNodePtr()
1499 void ASTtoCNF::cleanup(const ASTNode& varphi) in cleanup()
1544 ClauseList* ASTtoCNF::convertToCNF(const ASTNode& varphi) in convertToCNF()
[all …]
|
| /dports/science/helfem/HelFEM-21461e9/src/legendre/ |
| H A D | Prolate_Functions.f90 | 64 REAL(idp), DIMENSION(2) :: varphi variable
|
| /dports/math/stp/stp-2.3.3/include/stp/ToSat/ASTNode/ |
| H A D | ClauseList.h | 152 static ClauseList* COPY(const ClauseList& varphi) in COPY()
|
| /dports/math/reduce/Reduce-svn5758-src/jlisp/android/AndroidReduce/src/uk/ac/cam/aa582/structures/boxes/ |
| H A D | S.java | 435 public static final short varphi = 0x0B27; field in S
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/System.Windows.Forms/System.Windows.Forms.RTF/ |
| H A D | StandardCharCode.cs | 292 varphi = 255, enumerator
|
| /dports/math/py-plastex/plasTeX-2.1/plasTeX/Base/LaTeX/ |
| H A D | Math.py | 259 class varphi(MathSymbol): str = chr(981) class
|
| /dports/devel/jetbrains-phpstorm/PhpStorm-213.6461.83/plugins/vuejs/vue-service/node_modules/entities/lib/maps/ |
| H A D | entities.json | 1 …3E", "acd": "\u223F", "acE": "\u223E\u0333", "Acirc": "\u00C2", "acirc": "\u00E2", "acute": "\u00B…
|
| /dports/devel/jetbrains-webstorm/WebStorm-213.6461.79/plugins/vuejs/vue-service/node_modules/entities/lib/maps/ |
| H A D | entities.json | 1 …3E", "acd": "\u223F", "acE": "\u223E\u0333", "Acirc": "\u00C2", "acirc": "\u00E2", "acute": "\u00B…
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/devtools-frontend/src/node_modules/character-entities/ |
| H A D | index.json | 2128 "varphi": "ϕ", string
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/devtools-frontend/src/node_modules/dom-serializer/node_modules/entities/lib/maps/ |
| H A D | entities.json | 1 …3E", "acd": "\u223F", "acE": "\u223E\u0333", "Acirc": "\u00C2", "acirc": "\u00E2", "acute": "\u00B…
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/devtools-frontend/src/node_modules/entities/maps/ |
| H A D | entities.json | 1 …:"\u223F","acE":"\u223E\u0333","Acirc":"\u00C2","acirc":"\u00E2","acute":"\u00B4","Acy":"\u0410","…
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/node/node_modules/entities/maps/ |
| H A D | entities.json | 1 …:"\u223F","acE":"\u223E\u0333","Acirc":"\u00C2","acirc":"\u00E2","acute":"\u00B4","Acy":"\u0410","…
|
| /dports/textproc/kibana7/kibana-7.16.2-darwin-x86_64/node_modules/character-entities/ |
| H A D | index.json | 2128 "varphi": "ϕ", string
|
| /dports/textproc/kibana7/kibana-7.16.2-darwin-x86_64/node_modules/html-to-react/node_modules/dom-serializer/node_modules/entities/lib/maps/ |
| H A D | entities.json | 1 …circ":"Â","acirc":"â","acute":"´","Acy":"А","acy":"а","AElig":"Æ","aelig":"æ","af":"","Afr":"��",…
|
| /dports/textproc/kibana7/kibana-7.16.2-darwin-x86_64/node_modules/entities/lib/maps/ |
| H A D | entities.json | 1 …circ":"Â","acirc":"â","acute":"´","Acy":"А","acy":"а","AElig":"Æ","aelig":"æ","af":"","Afr":"��",…
|
| /dports/textproc/kibana7/kibana-7.16.2-darwin-x86_64/node_modules/html-to-react/node_modules/entities/maps/ |
| H A D | entities.json | 1 …:"\u223F","acE":"\u223E\u0333","Acirc":"\u00C2","acirc":"\u00E2","acute":"\u00B4","Acy":"\u0410","…
|
| /dports/textproc/kibana7/kibana-7.16.2-darwin-x86_64/node_modules/markdown-it/node_modules/entities/lib/maps/ |
| H A D | entities.json | 1 …3E", "acd": "\u223F", "acE": "\u223E\u0333", "Acirc": "\u00C2", "acirc": "\u00E2", "acute": "\u00B…
|
| /dports/textproc/kibana6/kibana-6.8.16-darwin-x86_64/node_modules/entities/lib/maps/ |
| H A D | entities.json | 1 …3E", "acd": "\u223F", "acE": "\u223E\u0333", "Acirc": "\u00C2", "acirc": "\u00E2", "acute": "\u00B…
|
| /dports/textproc/opensearch-dashboards/opensearch-dashboards-1.2.0-linux-x64/plugins/observabilityDashboards/node_modules/entities/lib/maps/ |
| H A D | entities.json | 1 …circ":"Â","acirc":"â","acute":"´","Acy":"А","acy":"а","AElig":"Æ","aelig":"æ","af":"","Afr":"��",…
|
| /dports/textproc/opensearch-dashboards/opensearch-dashboards-1.2.0-linux-x64/node_modules/character-entities/ |
| H A D | index.json | 2128 "varphi": "ϕ", string
|
| /dports/textproc/opensearch-dashboards/opensearch-dashboards-1.2.0-linux-x64/plugins/reportsDashboards/node_modules/entities/lib/maps/ |
| H A D | entities.json | 1 …3E", "acd": "\u223F", "acE": "\u223E\u0333", "Acirc": "\u00C2", "acirc": "\u00E2", "acute": "\u00B…
|
| /dports/textproc/opensearch-dashboards/opensearch-dashboards-1.2.0-linux-x64/plugins/reportsDashboards/node_modules/character-entities/ |
| H A D | index.json | 2128 "varphi": "ϕ", string
|
| /dports/textproc/opensearch-dashboards/opensearch-dashboards-1.2.0-linux-x64/plugins/anomalyDetectionDashboards/node_modules/prettier/esm/ |
| H A D | parser-meriyah.mjs | 22 …es per indentation level.",range:{start:0,end:Number.POSITIVE_INFINITY,step:1}},useTabs:{since:"1.… property in mi
|
| H A D | parser-glimmer.mjs | 1 …lobal?global:"undefined"!=typeof self?self:{};function t(e){var t={exports:{}};return e(t,t.export…
|
| H A D | parser-markdown.mjs | 1 …&&(e[u]=n[u])}return e},t=Object.prototype.hasOwnProperty;var r="undefined"!=typeof globalThis?glo…
|