Home
last modified time | relevance | path

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

/dports/games/flightgear-aircraft/fgaircraft/pa24-250/Nasal/
H A Daction-sim.nas51 var propEngine = props.globals.getNode("engines/engine[0]", 1);
65 var fuelFlowGph = propEngine.getNode("fuel-flow-gph", 1);
66 var fuelPressure = propEngine.getNode("fuel-pressure-psi", 1);
67 var oilPressure = propEngine.getNode("oil-pressure-psi", 1);
68 var engineRPM = propEngine.getNode("rpm", 1);
69 var fixEGT = propEngine.getNode("egt-degf-fix", 1);
/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dtheory_proxy.cpp38 TheoryProxy::TheoryProxy(PropEngine* propEngine, in TheoryProxy() argument
46 : d_propEngine(propEngine), in TheoryProxy()
H A Dtheory_proxy.h54 TheoryProxy(PropEngine* propEngine,
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.h501 inline void setPropEngine(prop::PropEngine* propEngine) { in setPropEngine() argument
503 d_propEngine = propEngine; in setPropEngine()