Home
last modified time | relevance | path

Searched refs:NodeManager (Results 1 – 25 of 402) sorted by relevance

12345678910>>...17

/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dregexp_operation.cpp29 d_true(NodeManager::currentNM()->mkConst(true)), in RegExpOpr()
30 d_false(NodeManager::currentNM()->mkConst(false)), in RegExpOpr()
299 …Node sk = NodeManager::currentNM()->mkSkolem( "rsp", NodeManager::currentNM()->stringType(), "Spli… in derivativeS()
774 NodeManager *nm = NodeManager::currentNM(); in simplifyNRegExp()
813 Node b1 = NodeManager::currentNM()->mkBoundVar(NodeManager::currentNM()->integerType()); in simplifyNRegExp()
815 …Node g1 = NodeManager::currentNM()->mkNode( kind::AND, NodeManager::currentNM()->mkNode(kind::GEQ,… in simplifyNRegExp()
816 …NodeManager::currentNM()->mkNode( kind::GEQ, NodeManager::currentNM()->mkNode(kind::STRING_LENGTH,… in simplifyNRegExp()
891 Node b1 = NodeManager::currentNM()->mkBoundVar(NodeManager::currentNM()->integerType()); in simplifyNRegExp()
893 …Node g1 = NodeManager::currentNM()->mkNode( kind::AND, NodeManager::currentNM()->mkNode(kind::GEQ,… in simplifyNRegExp()
954 NodeManager *nm = NodeManager::currentNM(); in simplifyPRegExp()
[all …]
H A Dtheory_strings_type_rules.h29 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
37 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
60 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
74 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
97 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
117 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
135 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
157 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
179 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
197 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
[all …]
/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dnode_manager.h80 class NodeManager {
106 static thread_local NodeManager* s_current;
362 NodeManager(const NodeManager&) = delete;
364 NodeManager& operator=(const NodeManager&) = delete;
386 ~NodeManager();
995 NodeManager* d_oldNodeManager;
999 NodeManagerScope(NodeManager* nm) in NodeManagerScope()
1006 NodeManager::s_current = nm; in NodeManagerScope()
1031 inline TypeNode NodeManager::realType() { in realType()
1204 inline NodeManager* NodeManager::fromExprManager(ExprManager* exprManager) { in fromExprManager()
[all …]
H A Dnode_manager.cpp40 thread_local NodeManager* NodeManager::s_current = NULL;
93 NodeManager::NodeManager(ExprManager* exprManager) : in NodeManager() function in CVC4::NodeManager
108 NodeManager::NodeManager(ExprManager* exprManager, in NodeManager() function in CVC4::NodeManager
126 void NodeManager::init() { in init()
164 NodeManager::~NodeManager() { in ~NodeManager()
260 void NodeManager::reclaimZombies() { in reclaimZombies()
545 TypeNode NodeManager::RecTypeCache::getRecordType( NodeManager * nm, const Record& rec, unsigned in… in getRecordType()
588 void NodeManager::reclaimAllZombies(){ in reclaimAllZombies()
601 size_t NodeManager::poolSize() const{ in poolSize()
766 Node NodeManager::mkBooleanTermVariable() { in mkBooleanTermVariable()
[all …]
/dports/misc/openvdb/openvdb-9.0.0/nanovdb/nanovdb/util/
H A DNodeManager.h27 class NodeManager; variable
46 class NodeManager
61 NodeManager();
67 NodeManager(const NodeManager&) = delete;
70 NodeManager(NodeManager&&);
76 NodeManager& operator=(const NodeManager&) = delete;
79 NodeManager& operator=(NodeManager&&);
128 NodeManager<GridT>::NodeManager() in NodeManager() function
140 NodeManager<GridT>::NodeManager(GridT &grid) in NodeManager() function
187 NodeManager<GridT>::NodeManager(NodeManager &&other) in NodeManager() function
[all …]
/dports/devel/msbuild/msbuild-0.06/src/Deprecated/Engine.UnitTests/
H A DNodeManager_Tests.cs24 NodeManager nodeManager = new NodeManager(1, false, engine); in TestConstructor()
32 NodeManager nodeManager = new NodeManager(1, true, engine); in TestConstructor2()
40 NodeManager nodeManager = new NodeManager(4, true, engine); in TestConstructor3()
48 NodeManager nodeManager = new NodeManager(4, false, engine); in TestConstructor4()
59 NodeManager nodeManager = new NodeManager(1, false, engine); in RegisterNullNodeProviders()
78 NodeManager nodeManager = new NodeManager(1, false, new Engine(@"c:\")); in RegisterNodeProviders()
133 NodeManager nodeManager = new NodeManager(1, false, new Engine(@"c:\")); in TestEnableOutOfProcLogging()
146 NodeManager nodeManager = new NodeManager(1, false, new Engine(@"c:\")); in TestShutdownNodes()
169 NodeManager nodeManager = new NodeManager(1, false, new Engine(@"c:\")); in TestPostBuildResultToNode()
196 NodeManager nodeManager = new NodeManager(1, false, new Engine(@"c:\")); in TestPostBuildRequestToNode()
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/sets/
H A Dtheory_sets_rels.cpp302 …new_membership = NodeManager::currentNM()->mkNode( kind::OR, new_membership, NodeManager::currentN… in computeMembersForJoinImageTerm()
352 …reason = NodeManager::currentNM()->mkNode( kind::AND, reason, NodeManager::currentNM()->mkNode( ki… in applyJoinImageRule()
388 …reason = NodeManager::currentNM()->mkNode( kind::AND, reason, NodeManager::currentNM()->mkNode( ki… in applyIdenRule()
507 …reason = NodeManager::currentNM()->mkNode(kind::AND, reason, NodeManager::currentNM()->mkNode(kind… in applyTCRule()
707 …reason = NodeManager::currentNM()->mkNode(kind::AND, exp, NodeManager::currentNM()->mkNode(kind::E… in applyProductRule()
776 …reason = NodeManager::currentNM()->mkNode(kind::AND, reason, NodeManager::currentNM()->mkNode(kind… in applyJoinRule()
822 …reason = NodeManager::currentNM()->mkNode(kind::AND, reason, NodeManager::currentNM()->mkNode(kind… in applyTransposeRule()
907 …reason = NodeManager::currentNM()->mkNode(kind::AND, reason, NodeManager::currentNM()->mkNode(kind… in computeMembersForUnaryOpRel()
1160 …Node skolem = NodeManager::currentNM()->mkSkolem( "sts", NodeManager::currentNM()->mkSetType( n.ge… in makeSharedTerm()
1367 …exp = NodeManager::currentNM()->mkNode(kind::AND, NodeManager::currentNM()->mkNode(kind::EQUAL, ei… in eqNotifyPostMerge()
[all …]
H A Dtheory_sets_type_rules.h38 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, in computeType()
75 inline static bool computeIsConst(NodeManager* nodeManager, TNode n) { in computeIsConst()
153 inline static bool computeIsConst(NodeManager* nodeManager, TNode n) { in computeIsConst()
182 inline static bool computeIsConst(NodeManager* nodeManager, TNode n) { in computeIsConst()
201 inline static bool computeIsConst(NodeManager* nodeManager, TNode n) { in computeIsConst()
243 inline static bool computeIsConst(NodeManager* nodeManager, TNode n) { in computeIsConst()
288 inline static bool computeIsConst(NodeManager* nodeManager, TNode n) { in computeIsConst()
308 inline static bool computeIsConst(NodeManager* nodeManager, TNode n) { in computeIsConst()
333 inline static bool computeIsConst(NodeManager* nodeManager, TNode n) { in computeIsConst()
380 inline static bool computeIsConst(NodeManager* nodeManager, TNode n) { in computeIsConst()
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_type_rules.h52 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
72 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
103 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
128 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
147 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
172 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
198 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
230 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
242 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
268 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
[all …]
H A Dtheory_bv_utils.cpp219 return NodeManager::currentNM()->mkConst<bool>(true); in mkTrue()
224 return NodeManager::currentNM()->mkConst<bool>(false); in mkFalse()
262 return NodeManager::currentNM()->mkConst<BitVector>(val); in mkConst()
279 NodeManager* nm = NodeManager::currentNM(); in mkVar()
314 return NodeManager::currentNM()->mkNode(kind, children); in mkSortedNode()
343 NodeManager* nm = NodeManager::currentNM(); in mkSignExtend()
353 NodeManager *nm = NodeManager::currentNM(); in mkExtract()
360 NodeManager *nm = NodeManager::currentNM(); in mkBitOf()
400 return NodeManager::currentNM()->mkNode( in mkInc()
406 return NodeManager::currentNM()->mkNode( in mkDec()
[all …]
H A Dtheory_bv_rewrite_rules_operator_elimination.h103 NodeManager *nm = NodeManager::currentNM(); in apply()
123 NodeManager *nm = NodeManager::currentNM(); in apply()
140 NodeManager *nm = NodeManager::currentNM(); in apply()
157 NodeManager *nm = NodeManager::currentNM(); in apply()
175 NodeManager *nm = NodeManager::currentNM(); in apply()
318 NodeManager *nm = NodeManager::currentNM(); in apply()
337 NodeManager *nm = NodeManager::currentNM(); in apply()
356 NodeManager *nm = NodeManager::currentNM(); in apply()
375 NodeManager *nm = NodeManager::currentNM(); in apply()
413 NodeManager *nm = NodeManager::currentNM(); in apply()
[all …]
/dports/science/nest/nest-simulator-3.1/nestkernel/
H A Dnode_manager.cpp48 NodeManager::NodeManager() in NodeManager() function in nest::NodeManager
60 NodeManager::~NodeManager() in ~NodeManager()
67 NodeManager::initialize() in initialize()
79 NodeManager::finalize() in finalize()
85 NodeManager::get_status( index idx ) in get_status()
576 NodeManager::destruct_nodes_()
620 NodeManager::prepare_node_( Node* n )
629 NodeManager::prepare_nodes()
698 NodeManager::post_run_cleanup()
721 NodeManager::finalize_nodes()
[all …]
H A Dnode_manager.h49 class NodeManager : public ManagerInterface
52 NodeManager();
53 ~NodeManager();
321 NodeManager::size() const in size()
327 NodeManager::thread_lid_to_node( thread t, targetindex thread_local_id ) const in thread_lid_to_node()
333 NodeManager::get_wfr_nodes_on_thread( thread t ) const in get_wfr_nodes_on_thread()
339 NodeManager::wfr_is_used() const in wfr_is_used()
345 NodeManager::get_local_nodes( thread t ) const in get_local_nodes()
351 NodeManager::have_nodes_changed() const in have_nodes_changed()
357 NodeManager::set_have_nodes_changed( const bool changed ) in set_have_nodes_changed()
/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep_rewriter.cpp29 Node tr = NodeManager::currentNM()->mkConst( true ); in getStarChildren()
48 to_add = NodeManager::currentNM()->mkNode( kind::AND, temp_s_children ); in getStarChildren()
75 if( n!=NodeManager::currentNM()->mkConst(true) ){ in getAndChildren()
105 Node s = NodeManager::currentNM()->mkNode( kind::SINGLETON, node[0][0] ); in postRewrite()
108 …Node c2 = NodeManager::currentNM()->mkNode( kind::SEP_LABEL, NodeManager::currentNM()->mkNode( kin… in postRewrite()
109 retNode = NodeManager::currentNM()->mkNode( kind::AND, c1, c2 ); in postRewrite()
130 schild = NodeManager::currentNM()->mkNode( kind::SEP_STAR, s_children ); in postRewrite()
138 retNode = NodeManager::currentNM()->mkNode( kind::AND, ns_children ); in postRewrite()
144 return RewriteResponse(REWRITE_DONE, NodeManager::currentNM()->mkConst(true)); in postRewrite()
147 return RewriteResponse(REWRITE_DONE, NodeManager::currentNM()->mkConst(false)); in postRewrite()
[all …]
H A Dtheory_sep.cpp52 d_true = NodeManager::currentNM()->mkConst<bool>(true); in TheorySep()
53 d_false = NodeManager::currentNM()->mkConst<bool>(false); in TheorySep()
314 NodeManager* nm = NodeManager::currentNM(); in check()
440 …NodeManager::currentNM()->mkNode( kind::SEP_STAR, NodeManager::currentNM()->mkNode( kind::SEP_PTO,… in check()
685 tn = NodeManager::currentNM()->mkSetType(tn); in check()
783 …Node lem = NodeManager::currentNM()->mkNode( kind::IMPLIES, NodeManager::currentNM()->mkNode( kind… in check()
882 d_type_data = NodeManager::currentNM()->mkSort("_sep_U"); in ppNotifyAssertions()
1130 TypeNode ltn = NodeManager::currentNM()->mkSetType(tn); in getBaseLabel()
1231 TypeNode ltn = NodeManager::currentNM()->mkSetType(tn); in mkUnion()
1414 …children.push_back( NodeManager::currentNM()->mkNode( kind::SEP_LABEL, NodeManager::currentNM()->m… in instantiateLabel()
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Darith_utilities.h48 return NodeManager::currentNM()->mkConst<Rational>(q); in mkRationalNode()
52 return NodeManager::currentNM()->mkConst<bool>(b); in mkBoolNode()
56 return NodeManager::currentNM()->mkSkolem(name, NodeManager::currentNM()->integerType()); in mkIntSkolem()
60 return NodeManager::currentNM()->mkSkolem(name, NodeManager::currentNM()->realType()); in mkRealSkolem()
64 NodeManager* currNM = NodeManager::currentNM(); in skolemFunction()
238 return NodeManager::currentNM()->mkNode(kind::AND, out); in flattenAnd()
274 return NodeManager::currentNM()->mkNode(k, children); in safeConstructNary()
280 return NodeManager::currentNM()->mkNode(kind::MULT, a, b); in mkMult()
286 NodeManager* nm = NodeManager::currentNM(); in mkInRange()
302 return NodeManager::currentNM()->mkNullaryOperator( in mkPi()
[all …]
H A Dtheory_arith_type_rules.h29 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
42 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
78 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
96 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
114 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
132 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
146 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
160 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, bool check) in computeType()
165 if(realType!=NodeManager::currentNM()->realType()) { in computeType()
175 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/
H A Dreal_to_int.cpp69 coeffs.push_back(NodeManager::currentNM()->mkConst( in realToIntInternal()
78 : Rewriter::rewrite(NodeManager::currentNM()->mkNode( in realToIntInternal()
90 c = cc.isNull() ? NodeManager::currentNM()->mkConst(Rational(1)) in realToIntInternal()
98 NodeManager::currentNM()->mkNode(kind::MULT, c, cc)); in realToIntInternal()
112 NodeManager::currentNM()->mkNode(kind::MULT, c, vv)); in realToIntInternal()
124 ? NodeManager::currentNM()->mkConst(Rational(0)) in realToIntInternal()
128 ret = NodeManager::currentNM()->mkNode( in realToIntInternal()
131 NodeManager::currentNM()->mkConst(Rational(0))); in realToIntInternal()
159 ret = NodeManager::currentNM()->mkNode(n.getKind(), children); in realToIntInternal()
169 ret = NodeManager::currentNM()->mkSkolem( in realToIntInternal()
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dfun_def_process.cpp52 bd = NodeManager::currentNM()->mkNode( EQUAL, n, bd ); in simplify()
57 TypeNode iType = NodeManager::currentNM()->mkSort( ss.str() ); in simplify()
72 Node bv = NodeManager::currentNM()->mkBoundVar("?i", iType ); in simplify()
85 Node new_q = NodeManager::currentNM()->mkNode( FORALL, bvl, bd ); in simplify()
151 ret = NodeManager::currentNM()->mkNode( FORALL, n[0], c ); in simplifyFormula()
187 nn = NodeManager::currentNM()->mkNode( n.getKind(), children ); in simplifyFormula()
204 branch_cond = NodeManager::currentNM()->mkNode( kind::ITE, in simplifyFormula()
221 ret = NodeManager::currentNM()->mkNode( AND, nn, cons ); in simplifyFormula()
223 ret = NodeManager::currentNM()->mkNode( OR, nn, cons.negate() ); in simplifyFormula()
235 cons = NodeManager::currentNM()->mkNode( AND, constraints ); in simplifyFormula()
[all …]
H A Dskolemize.cpp129 Node ss = NodeManager::currentNM()->mkNode( in getSelfSel()
173 s = NodeManager::currentNM()->mkSkolem( in mkSkolemizedBody()
178 TypeNode typ = NodeManager::currentNM()->mkFunctionType( in mkSkolemizedBody()
180 Node op = NodeManager::currentNM()->mkSkolem( in mkSkolemizedBody()
231 NodeManager::currentNM() in mkSkolemizedBody()
249 Node icond = NodeManager::currentNM()->mkNode( in mkSkolemizedBody()
250 GEQ, k, NodeManager::currentNM()->mkConst(Rational(0))); in mkSkolemizedBody()
254 NodeManager::currentNM()->mkNode( in mkSkolemizedBody()
274 nret = NodeManager::currentNM()->mkNode(FORALL, bvl, nret); in mkSkolemizedBody()
279 n_str_ind = NodeManager::currentNM() in mkSkolemizedBody()
[all …]
/dports/sysutils/kubectl/kubernetes-1.22.2/staging/src/k8s.io/legacy-cloud-providers/vsphere/
H A Dnodemanager.go51 type NodeManager struct { struct
82 func (nm *NodeManager) DiscoverNode(node *v1.Node) error { argument
249 func (nm *NodeManager) RegisterNode(node *v1.Node) error { argument
254 func (nm *NodeManager) UnRegisterNode(node *v1.Node) error { argument
278 func (nm *NodeManager) getNodes() map[string]*v1.Node { argument
288 func (nm *NodeManager) addNode(node *v1.Node) { argument
294 func (nm *NodeManager) removeNode(node *v1.Node) { argument
316 func (nm *NodeManager) GetNodeDetails() ([]NodeDetails, error) { argument
332 func (nm *NodeManager) GetNodeNames() []k8stypes.NodeName { argument
341 func (nm *NodeManager) refreshNodes() (errList []error) { argument
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/builtin/
H A Dtheory_builtin_rewriter.cpp37 Node eq = NodeManager::currentNM()->mkNode(kind::EQUAL, in[0], in[1]); in blastDistinct()
38 Node neq = NodeManager::currentNM()->mkNode(kind::NOT, eq); in blastDistinct()
47 Node eq = NodeManager::currentNM()->mkNode(kind::EQUAL, *i, *j); in blastDistinct()
48 Node neq = NodeManager::currentNM()->mkNode(kind::NOT, eq); in blastDistinct()
52 Node out = NodeManager::currentNM()->mkNode(kind::AND, diseqs); in blastDistinct()
65 return NodeManager::currentNM()->mkNode(chainedOp, in[0], in[1]); in blastChain()
69 conj << NodeManager::currentNM()->mkNode(chainedOp, *i, *j); in blastChain()
130 return NodeManager::currentNM()->mkFunctionType(children); in getFunctionTypeForArrayType()
141 ret = NodeManager::currentNM()->mkArrayType(ftn[i], ret); in getArrayTypeForFunctionType()
230 curr_val = NodeManager::currentNM()->mkConst( pol ); in getArrayRepresentationForLambdaRec()
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/fp/
H A Dfp_converter.cpp50 ::CVC4::NodeManager *nm = ::CVC4::NodeManager::currentNM(); \
253 : nodeWrapper(NodeManager::currentNM()->mkConst( in symbolicRoundingMode()
261 : nodeWrapper(NodeManager::currentNM()->mkConst( in symbolicRoundingMode()
276 NodeManager *nm = NodeManager::currentNM(); in valid()
306 NodeManager *nm = NodeManager::currentNM(); in boolNodeToBV()
318 NodeManager *nm = NodeManager::currentNM(); in BVToBoolNode()
770 NodeManager *nm = NodeManager::currentNM(); in ufToNode()
786 NodeManager *nm = NodeManager::currentNM(); in rmToNode()
815 NodeManager *nm = NodeManager::currentNM(); in propToNode()
828 NodeManager *nm = NodeManager::currentNM(); in buildComponents()
[all …]
H A Dtheory_fp.cpp47 NodeManager *nm = NodeManager::currentNM(); in removeToFPGeneric()
185 NodeManager *nm = NodeManager::currentNM(); in minUF()
216 NodeManager *nm = NodeManager::currentNM(); in maxUF()
251 NodeManager *nm = NodeManager::currentNM(); in toUBVUF()
280 NodeManager *nm = NodeManager::currentNM(); in toSBVUF()
304 NodeManager *nm = NodeManager::currentNM(); in toRealUF()
339 NodeManager *nm = NodeManager::currentNM(); in abstractRealToFloat()
371 NodeManager *nm = NodeManager::currentNM(); in abstractFloatToReal()
473 NodeManager *nm = NodeManager::currentNM(); in ppRewrite()
496 NodeManager *nm = NodeManager::currentNM(); in ppRewrite()
[all …]
H A Dtheory_fp_type_rules.h36 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, in computeType()
58 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, in computeType()
69 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, in computeType()
107 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, in computeType()
134 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, in computeType()
161 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, in computeType()
197 inline static TypeNode computeType(NodeManager* nodeManager, TNode n, in computeType()
621 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
655 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
702 inline static TypeNode computeType(NodeManager* nodeManager, in computeType()
[all …]

12345678910>>...17