PGA - ProGram Algebra
Molecular Programming Primitives
Instructions
x = new
- Create a new atom and assign it to
x
.
x.+f
- Add a field
f
to the atom in focus
x
.
If this atom already has a field f
then
false
is returned.
x.-f
- Removes the field
f
from the atom in focus
x
.
Returns false
when the atom has no field
f
.
x.f = y
- Assigns the atom in focus
y
to the field
f
of the atom in focus x
.
If the atom in focus x
does not have a field
f
then false
is returned.
x = y.f
- Assign to atom in field
f
of the atom in focus
y
to the focus x
.
If the atom in focus y
does not have a field
f
then false
is returned.
x = y
- Assigns the atom in focus
y
to the focus
x
.
x == y
- Return
true
if the foci x
and
y
contain the same atom, and false
otherwise.
x/f
- Return
true
when the atom in focus x
has a field f
, and false
otherwise.