Home
last modified time | relevance | path

Searched refs:MkNum (Results 1 – 8 of 8) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/api/dotnet/
H A DArithExpr.cs52 public static ArithExpr operator /(ArithExpr a, int b) { return a / MkNum(a, b); } in operator /()
55 public static ArithExpr operator /(ArithExpr a, double b) { return a / MkNum(a, b); } in operator /()
58 public static ArithExpr operator /(int a, ArithExpr b) { return MkNum(b, a) / b; } in operator /()
76 public static ArithExpr operator -(int a, ArithExpr b) { return MkNum(b, a) - b; } in operator -()
85 public static ArithExpr operator +(ArithExpr a, int b) { return a + MkNum(a, b); } in operator +()
91 public static ArithExpr operator +(int a, ArithExpr b) { return MkNum(b, a) + b; } in operator +()
100 public static ArithExpr operator *(ArithExpr a, int b) { return a * MkNum(a, b); } in operator *()
106 public static ArithExpr operator *(int a, ArithExpr b) { return MkNum(b, a) * b; } in operator *()
130 public static BoolExpr operator <(ArithExpr a, int b) { return a < MkNum(a, b); } in operator <()
136 public static BoolExpr operator <(int a, ArithExpr b) { return MkNum(b, a) < b; } in operator <()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/dotnet/
H A DArithExpr.cs52 public static ArithExpr operator /(ArithExpr a, int b) { return a / MkNum(a, b); } in operator /()
55 public static ArithExpr operator /(ArithExpr a, double b) { return a / MkNum(a, b); } in operator /()
58 public static ArithExpr operator /(int a, ArithExpr b) { return MkNum(b, a) / b; } in operator /()
76 public static ArithExpr operator -(int a, ArithExpr b) { return MkNum(b, a) - b; } in operator -()
85 public static ArithExpr operator +(ArithExpr a, int b) { return a + MkNum(a, b); } in operator +()
91 public static ArithExpr operator +(int a, ArithExpr b) { return MkNum(b, a) + b; } in operator +()
100 public static ArithExpr operator *(ArithExpr a, int b) { return a * MkNum(a, b); } in operator *()
106 public static ArithExpr operator *(int a, ArithExpr b) { return MkNum(b, a) * b; } in operator *()
130 public static BoolExpr operator <(ArithExpr a, int b) { return a < MkNum(a, b); } in operator <()
136 public static BoolExpr operator <(int a, ArithExpr b) { return MkNum(b, a) < b; } in operator <()
[all …]
/dports/x11-wm/fvwm2/fvwm-2.6.9/modules/FvwmCpp/
H A DFvwmCpp.c60 static char *MkNum(char *name,int def);
333 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf); in cpp_defs()
334 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf); in cpp_defs()
336 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf); in cpp_defs()
339 fputs(MkNum("SCREEN", Mscreen), tmpf); in cpp_defs()
341 fputs(MkNum("WIDTH", DisplayWidth(display,Mscreen)), tmpf); in cpp_defs()
342 fputs(MkNum("HEIGHT", DisplayHeight(display,Mscreen)), tmpf); in cpp_defs()
345 fputs(MkNum("X_RESOLUTION",Resolution(screen->width,screen->mwidth)), in cpp_defs()
349 fputs(MkNum("PLANES",DisplayPlanes(display, Mscreen)), tmpf); in cpp_defs()
352 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf); in cpp_defs()
[all …]
/dports/x11-wm/fvwm2/fvwm-2.6.9/modules/FvwmM4/
H A DFvwmM4.c60 static char *MkNum(char *name,int def);
398 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf); in m4_defs()
399 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf); in m4_defs()
401 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf); in m4_defs()
404 fputs(MkNum("SCREEN", Mscreen), tmpf); in m4_defs()
406 fputs(MkNum("WIDTH", DisplayWidth(display,Mscreen)), tmpf); in m4_defs()
407 fputs(MkNum("HEIGHT", DisplayHeight(display,Mscreen)), tmpf); in m4_defs()
410 fputs(MkNum( in m4_defs()
413 fputs(MkNum( in m4_defs()
419 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf); in m4_defs()
[all …]
/dports/x11-wm/piewm/piewm-1.04/
H A Dparse.c1421 MkNum(name, def) in MkNum() function
1482 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf); in m4_defs()
1483 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf); in m4_defs()
1485 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf); in m4_defs()
1488 fputs(MkNum("WIDTH", screen->width), tmpf); in m4_defs()
1489 fputs(MkNum("HEIGHT", screen->height), tmpf); in m4_defs()
1490 fputs(MkNum("X_RESOLUTION",Resolution(screen->width,screen->mwidth)), tmpf); in m4_defs()
1491 fputs(MkNum("Y_RESOLUTION",Resolution(screen->height,screen->mheight)),tmpf); in m4_defs()
1492 fputs(MkNum("PLANES",DisplayPlanes(display, DefaultScreen(display))), tmpf); in m4_defs()
1493 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf); in m4_defs()
/dports/x11-wm/tvtwm/tvtwm/
H A Dparse.c1723 static char *MkNum(name, def) in MkNum() function
1794 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf);
1795 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf);
1797 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf);
1800 fputs(MkNum("WIDTH", screen->width), tmpf);
1801 fputs(MkNum("HEIGHT", screen->height), tmpf);
1802 fputs(MkNum("X_RESOLUTION",Resolution(screen->width,screen->mwidth)), tmpf);
1803 fputs(MkNum("Y_RESOLUTION",Resolution(screen->height,screen->mheight)),tmpf);
1804 fputs(MkNum("PLANES",DisplayPlanes(display, DefaultScreen(display))), tmpf);
1805 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf);
/dports/x11-wm/afterstep/AfterStep-1.0/afterstep/
H A Dconfigure.c2528 static char *MkNum(char *name,int def) in MkNum() function
2618 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf); in m4_defs()
2619 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf); in m4_defs()
2621 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf); in m4_defs()
2624 fputs(MkNum("WIDTH", Scr.MyDisplayWidth), tmpf); in m4_defs()
2625 fputs(MkNum("HEIGHT", Scr.MyDisplayHeight), tmpf); in m4_defs()
2627 fputs(MkNum("X_RESOLUTION",Resolution(screen->width,screen->mwidth)),tmpf); in m4_defs()
2628 fputs(MkNum("Y_RESOLUTION",Resolution(screen->height,screen->mheight)),tmpf); in m4_defs()
2629 fputs(MkNum("PLANES",DisplayPlanes(display, Scr.screen)), tmpf); in m4_defs()
2631 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf); in m4_defs()
/dports/lang/ghc/ghc-8.10.7/docs/users_guide/
H A Dglasgow_exts.rst5754 data MyNum = MkNum Int
5757 pattern Zero = MkNum 0
5786 the data constructor ``MkNum`` and also the pattern synonym ``Zero``.