Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
Any
Any type
Any is used as input in the following functions:
result of storing
value
at index
idx
of stack
x
set index
idx
of remaining stack
x
to
value
with visited :
parsed
stack
x
contains
value
index of value
n
in
x
output of the index_compute function where the input stack is
s
, value is
n
, and index is
i
index of value
n
in
x
index of value
n
in
x
with current index
i
result of appending
y
to
xs
byte at ID:
id
, cell #
i
at time
t
the PC at computer
id
and time
t
object
.
attribute
=
value
interrupt at computer:
id
index:
i
time:
t
the instruction at computer
id
and index
i
network bytes read from computer:
id
at time
t
char
in decimal
tree
node
contains
value
output of the bst_insert function where the input tree is
tree
, value is
value
, visited is
visited
, and moves are
moves
output of the bst_delete function where input tree is
tree
, value is
value
, visited is
visited
, and moves are
moves
smallest value in
tree
result of updating the root of
tree
with
value
result of AVL insert of tree
tree
and value
value
children of the node
value
in graph
graph
output of the find_neighbors function where the input graph is
graph
, node is
value
, and children are
children
tree
tree
contains
value
edge (
left
,
right
,
weight
)
node (
value
,
distance
,
index
)
spanning DFT tree of graph
graph
starting from
value
nodes with values
values
and parent
parent
output of the make_nodes function where input values are
values
, parent is
parent
, and nodes are
result
Any is used as output in the following functions:
the element at index
i
of stack
x
index of value
n
in
x
output of the index_compute function where the input stack is
s
, value is
n
, and index is
i
an ADDI instruction with src:
src
imm:
imm
and dst:
dst
statement at line
l
, tab
s
function call with name:
name
and arguments:
args
value at
key
in map
vars
the instruction at computer
id
and index
i
expression value at time
s
maximum value in
graph
Comments
Please
log in
to add comments