bounds.bend checks
raw source on the hub · import 0xcd07e24a626a62e74603d48f436cd679/bounds.bend as Bounds
IProblem box — variable count + per-var [lo, hi]. Named problems (ZDT1 / ZDT2 / DTLZ2) live in problems.bend.
1 import
import Base
Types
type Interval source · line 6 · raw
Data
MkInterval@low:F32 -> @high:F32 -> Interval
type Box source · line 12 · raw
Data
MkBox@m:Nat -> @ivs:List<&2, Interval> -> Box
Definitions
def interval source · line 18 · raw
@+low:F32 -> @+high:F32 -> Interval
def lo source · line 21 · raw
@b:Interval -> F32
def hi source · line 26 · raw
@b:Interval -> F32
def box source · line 31 · raw
@+m:Nat -> @ivs:List<&2, Interval> -> Box
def n_obj source · line 34 · raw
@b:Box -> Nat
def intervals_of source · line 39 · raw
@b:Box -> List<&2, Interval>
def n_var source · line 44 · raw
@b:Box -> Nat
def at.go source · line 47 · raw
@m:Maybe<&2, Interval> -> Interval
def at source · line 54 · raw
@b:Box -> @i:Nat -> Interval
def unit_n source · line 58 · raw
@nv:Nat -> @nm:Nat -> Box
nv copies of [0, 1]. Smoke / operator tests; not a named problem.