Searched refs:varbot (Results 1 – 4 of 4) sorted by relevance
141 static Type varbot(int dim = 0) { return Type(TI_VAR, BT_BOT, ST_PLAIN, 0, dim); } in varbot() function in MiniZinc::Type
3574 t[0] = Type::varbot(1); in register_builtins()3584 t[0] = Type::varbot(1); in register_builtins()
264421 varbot/a1
390692 varbot/a1