rand_obj

CodeArtifact

First seen 7/2/2026

Last seen 7/17/2026

Evidence 7 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

9 connections

CRAVE part of → 100% 2e

rand_obj is a base class provided by CRAVE for complex constrained random objects.

Random Object implements → 100% 1e

The rand_obj class implements the Random Object concept.

Hard Constraint implements → 100% 1e

rand_obj supports named hard constraints via constraint() API.

Soft Constraint implements → 100% 1e

rand_obj supports soft (ignorable) constraints via soft_constraint() API.

Constraint Inheritance implements → 100% 1e

rand_obj enables constraint inheritance via C++ inheritance.

Constraint Management implements → 100% 1e

rand_obj supports enable/disable of named constraints via API.

rand_obj supports references to dynamically changing C++ variables in constraints.

randv ← part of 100% 1e

rand_obj contains randv variables as its random variables.

The paper introduces the rand_obj class for random objects.