/* Ċ Ġ* ĠĠĠ ĠCopyright Ġ 2 0 2 2 ĠPl ank Ċ Ġ* Ċ Ġ* ĠĠĠ ĠLicensed Ġunder Ġthe ĠApache ĠLicense , ĠVersion Ġ 2 . 0 Ġ( the Ġ" License "); Ċ Ġ* ĠĠĠ Ġyou Ġmay Ġnot Ġuse Ġthis Ġfile Ġexcept Ġin Ġcompliance Ġwith Ġthe ĠLicense . Ċ Ġ* ĠĠĠ ĠYou Ġmay Ġobtain Ġa Ġcopy Ġof Ġthe ĠLicense Ġat Ċ Ġ* Ċ Ġ* ĠĠĠĠĠĠĠ Ġhttp :// www . apache . org / licenses / LICENSE - 2 . 0 Ċ Ġ* Ċ Ġ* ĠĠĠ ĠUnless Ġrequired Ġby Ġapplicable Ġlaw Ġor Ġagreed Ġto Ġin Ġwriting , Ġsoftware Ċ Ġ* ĠĠĠ Ġdistributed Ġunder Ġthe ĠLicense Ġis Ġdistributed Ġon Ġan Ġ" AS ĠIS " ĠBASIS , Ċ Ġ* ĠĠĠ ĠWITHOUT ĠWARRANTIES ĠOR ĠCONDITIONS ĠOF ĠANY ĠKIND , Ġeither Ġexpress Ġor Ġimplied . Ċ Ġ* ĠĠĠ ĠSee Ġthe ĠLicense Ġfor Ġthe Ġspecific Ġlanguage Ġgoverning Ġpermissions Ġand Ċ Ġ* ĠĠĠ Ġlimitations Ġunder Ġthe ĠLicense . Ċ Ġ*/ Ċ Ċ package Ġorg . pl ank . llvm 4 k . ir Ċ Ċ import Ġorg . byte deco . llvm . global . LLVM .* Ċ Ċ public Ġactual Ġenum Ġclass ĠReal Predicate ( public Ġval Ġllvm : ĠInt ) Ġ{ ĊĠ ĠFalse ( LLVM Real Predicate False ), ĊĠ ĠO EQ ( LLVM Real O EQ ), ĊĠ ĠO GT ( LLVM Real O GT ), ĊĠ ĠO GE ( LLVM Real O GE ), ĊĠ ĠO LT ( LLVM Real OL T ), ĊĠ ĠOLE ( LLVM Real O LE ), ĊĠ ĠONE ( LLVM Real ONE ), ĊĠ ĠOR D ( LLVM Real ORD ), ĊĠ ĠU NO ( LLVM Real UN O ), ĊĠ ĠU EQ ( LLVM Real UE Q ), ĊĠ ĠU GT ( LLVM Real U GT ), ĊĠ ĠU GE ( LLVM Real U GE ), ĊĠ ĠU LT ( LLVM Real ULT ), ĊĠ ĠU LE ( LLVM Real ULE ), ĊĠ ĠU NE ( LLVM Real UNE ), ĊĠ ĠTrue ( LLVM Real Predicate True ); ĊĊĠ Ġpublic Ġactual Ġval Ġvalue : ĠUInt Ġget () Ġ= Ġllvm . to UInt () ĊĊĠ Ġpublic Ġactual Ġcompanion Ġobject Ġ{ ĊĠĠĠ Ġpublic Ġactual Ġfun Ġby Value ( value : ĠInt ): ĠReal Predicate Ġ{ ĊĠĠĠĠĠ Ġreturn Ġby Value ( value . to UInt ()) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġpublic Ġactual Ġfun Ġby Value ( value : ĠUInt ): ĠReal Predicate Ġ{ ĊĠĠĠĠĠ Ġreturn Ġvalues (). single Ġ{ Ġit . value Ġ== Ġvalue Ġ} ĊĠĠĠ Ġ} ĊĠ Ġ} Ċ } Ċ