| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
| H A D | addSub.gold | 12 addSub.o: addSub.c addSub.h
18 addSub_driver: addSub.o addSub_driver.o
27 == BEGIN: "addSub.h" ================
67 == END: "addSub.h" ==================
69 /* Example driver program for addSub. */
73 #include "addSub.h"
80 addSub(76, 92, &sum, &dif);
82 printf("addSub(76, 92, &sum, &dif) ->\n");
89 == BEGIN: "addSub.c" ================
92 #include "addSub.h"
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/CodeGeneration/ |
| H A D | AddSub.hs | 20 addSub :: SWord8 -> SWord8 -> (SWord8, SWord8)
21 addSub x y = (x+y, x-y) function
138 let (s, d) = addSub x y
|
| /dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
| H A D | pseudo_boolean_processor.cpp | 316 void PseudoBooleanProcessor::addSub(Node from, Node to) in addSub() function in CVC4::preprocessing::passes::PseudoBooleanProcessor
352 addSub(geq, imp); in learnGeqSub()
365 addSub(geq, cases); in learnGeqSub()
380 addSub(geq, dis); in learnGeqSub()
|
| H A D | pseudo_boolean_processor.h | 88 void addSub(Node from, Node to);
|
| /dports/deskutils/helpviewer/HelpViewer-0.3/ |
| H A D | Section.m | 154 - (void) addSub: (Section*) sub {
155 //NSLog (@"addSub: Section (%@)", [sub header]);
158 //NSLog (@"fin addSub: Section (%@)", [sub header]);
|
| H A D | Section.h | 53 - (void) addSub: (Section*) sub;
|
| /dports/www/grafana8/grafana-8.3.6/vendor/github.com/centrifugal/centrifuge/ |
| H A D | hub_test.go | 463 _, _ = h.addSub("test1", c)
464 _, _ = h.addSub("test2", c)
536 _, _ = n.hub.addSub(ch, c)
576 _, _ = n.hub.addSub(ch, c)
596 _, _ = n.hub.addSub(channels[i%numChannels], clients[i%numClients])
638 _, _ = n.hub.addSub(ch, c)
|
| /dports/math/apache-commons-math/commons-math3-3.6.1-src/src/main/java/org/apache/commons/math3/fraction/ |
| H A D | Fraction.java | 438 return addSub(fraction, true /* add */); in add()
461 return addSub(fraction, false /* subtract */); in subtract()
483 private Fraction addSub(Fraction fraction, boolean isAdd) { in addSub() method in Fraction
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/CodeGeneration/ |
| H A D | AddSub.hs | 32 let (s, d) = addSub x y
|
| /dports/games/doomsday/doomsday-2.3.1/doomsday/apps/libdoomsday/include/doomsday/defs/ |
| H A D | model.h | 40 de::Record &addSub();
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/ |
| H A D | BinaryArithmeticNode.java | 208 boolean addSub = false; in reassociate()
212 addSub = true; in reassociate()
228 if (addSub) { in reassociate()
|
| /dports/audio/cantata/cantata-2.4.2/online/ |
| H A D | podcastwidget.cpp | 76 ToolButton *addSub=new ToolButton(this); in PodcastWidget() local
78 addSub->setDefaultAction(subscribeAction); in PodcastWidget()
87 …layQueue|Refresh, QList<QWidget *>() << menu/* << unplayedOnlyBtn*/, QList<QWidget *>() << addSub); in PodcastWidget()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/ |
| H A D | BinaryArithmeticNode.java | 208 boolean addSub = false; in reassociate()
212 addSub = true; in reassociate()
228 if (addSub) { in reassociate()
|
| /dports/java/apache-commons-lang/commons-lang-2.6-src/src/main/java/org/apache/commons/lang/math/ |
| H A D | Fraction.java | 704 return addSub(fraction, true /* add */); in add()
718 return addSub(fraction, false /* subtract */); in subtract()
731 private Fraction addSub(Fraction fraction, boolean isAdd) { in addSub() method in Fraction
|
| /dports/cad/digital/Digital-0.27/src/main/java/de/neemann/digital/draw/graphics/text/text/ |
| H A D | Index.java | 69 public void addSub(Text b) { in addSub() method in Index
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/ |
| H A D | BinaryArithmeticNode.java | 238 boolean addSub = false; in reassociate()
242 addSub = true; in reassociate()
258 if (addSub) { in reassociate()
|
| /dports/games/dhewm3/dhewm3-1.5.1/neo/idlib/math/ |
| H A D | Lcp.cpp | 960 float *addSub, *original, *v, *ptr, *v1, *v2, dot; in RemoveClamped() local
980 addSub = (float *) _alloca16( numClamped * sizeof( float ) ); in RemoveClamped()
998 addSub[0] = ptr[0] - original[numClamped]; in RemoveClamped()
1000 addSub[i] = ptr[i] - original[i]; in RemoveClamped()
1041 addSub[i] = rowPtrs[r][i] - sum; in RemoveClamped()
1051 v1[r] = ( 0.5f * addSub[r] + 1.0f ) * diag; in RemoveClamped()
1052 v2[r] = ( 0.5f * addSub[r] - 1.0f ) * diag; in RemoveClamped()
1054 v1[i] = v2[i] = addSub[i] * diag; in RemoveClamped()
|
| /dports/x11-toolkits/py-wxPython40/wxPython-4.0.7/wx/lib/ |
| H A D | delayedresult.py | 365 def addSub(self, callable, *args, **kwargs): member in PreProcessChain
381 cc.addSub(callable, *args, **kwargs)
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/ |
| H A D | BinaryArithmeticNode.java | 271 boolean addSub = false; in reassociate()
275 addSub = true; in reassociate()
291 if (addSub) { in reassociate()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/ |
| H A D | BinaryArithmeticNode.java | 271 boolean addSub = false; in reassociate()
275 addSub = true; in reassociate()
291 if (addSub) { in reassociate()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/ |
| H A D | BinaryArithmeticNode.java | 271 boolean addSub = false; in reassociate()
275 addSub = true; in reassociate()
291 if (addSub) { in reassociate()
|
| /dports/devel/umbrello/umbrello-21.12.3/umbrello/refactoring/ |
| H A D | refactoringassistant.h | 67 …ier *classifier, QTreeWidgetItem *parent = 0, bool addSuper = true, bool addSub = true, bool recur…
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/calc/ |
| H A D | BinaryArithmeticNode.java | 270 boolean addSub = false; in reassociate()
274 addSub = true; in reassociate()
290 if (addSub) { in reassociate()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.loop/src/org/graalvm/compiler/loop/ |
| H A D | LoopEx.java | 365 ValueNode stride = addSub(loop, backValue, phi); in findInductionVariables()
388 ValueNode offset = addSub(loop, op, baseIvNode); in findInductionVariables()
417 private static ValueNode addSub(LoopEx loop, ValueNode op, ValueNode base) { in addSub() method in LoopEx
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.loop/src/org/graalvm/compiler/loop/ |
| H A D | LoopEx.java | 375 ValueNode stride = addSub(loop, backValue, phi); in findInductionVariables()
398 ValueNode offset = addSub(loop, op, baseIvNode); in findInductionVariables()
427 private static ValueNode addSub(LoopEx loop, ValueNode op, ValueNode base) { in addSub() method in LoopEx
|