Module instance 

Where placed parts are: what the step that places a part (see geop_core_program::placed) says of it, as a target of its own (define_instance). The program only builds the placed part; where it goes is a value of the state, or a fixed motion after another instance, composed outermost first (placement), and where that puts it (compose, located).

Structs

Instance

An instance placed, as its target holds it: where it is, and the file, the inputs and the steps after the file’s own its part was placed from — what a copy of it places again, and what a list of the parts tells them apart by. What is in it is its placed part (see geop_core_program::placed::PlacedPart).

Enums

Factor

One factor of where an instance is, as placement gives it, outermost first: the instance is where they all are, composed in order.

Placement

Where an instance is in the part it is in.

Functions

compose

The pose an instance is at whose placement is factors (see placement), in T: theirs, composed outermost first, each state’s entering as pose_of has it. A value that holds no pose — a state before anything solved for it — is no motion.

define_instance

Defines the instance name as instance. Its part is placed on its own (geop_core_program::placed::place).

instance

The instance name placed in the part reader reads, the read recorded.

instances

Every instance placed in the part reader reads — not in its instances’ parts — by name, in the order the steps placed their parts (geop_core_program::reader::Reader::instances), each read recorded. An instance whose part is placed must be defined: it is an error if it is not.

located

Where the instance at path is in the part reader reads: none — no motion — for the part itself, at the empty path.

placement

Where the instance at path — bolt, or asm/bolt — is in the part reader reads, as factors composed outermost first: the values of the state that place it and the parts it is in, read and recorded. A state of an instance’s own — what places a part in it — is named as the part names it, behind the instance’s path, and read so (Reader::given_state): the part’s value where it gives one.

Type Aliases

PoseOf

How the pose of each state a placement reads enters it, computed in T: as it is, or moved by a step to differentiate by it. Given the state’s name and the pose it holds.