Index of values


__ocaml_lex_comment_rec [Psl_lexer]
__ocaml_lex_comment_rec [CfLexer]
__ocaml_lex_tables [Psl_lexer]
__ocaml_lex_tables [Fnf_lexer]
__ocaml_lex_tables [CfLexer]
__ocaml_lex_token_rec [Psl_lexer]
__ocaml_lex_token_rec [Fnf_lexer]
__ocaml_lex_token_rec [CfLexer]
A
abs [Intbig]
add [Intbig]
add_import [CfParserUtil]
add_sub_enable [Cf_fnf]
add_sub_env [CfAst]
add_sub_reset [Cf_fnf]
all_cells [Fnf_core]	Returns a list of all cells.
always [Ltl]
and_ [Ltl]
application_expr_of_namespace [CfParserUtil]	Transforms a namespace in an expression.
application_of_infix [CfParserUtil]
application_of_namespace [CfParserUtil]	Transforms a namespace in a statement.
application_of_prefix [CfParserUtil]
application_of_string [CfParserUtil]
application_of_trifix [CfParserUtil]
argument [Loc]
arity_of_cell [Fnf_core]	The number of input ports of a cell.
assert_bool [Ut]	Asserts that a boolean expression is true.
B
before [Ltl]
before_overlap [Ltl]
binary_string_of_intbig [Intbig]
buildBoolean [CfLexer]
buildChar [CfLexer]
buildFloat [CfLexer]
buildInteger [CfLexer]
buildVector [CfLexer]
bw_and [Intbig]
bw_not [Intbig]
bw_or [Intbig]
bw_xor [Intbig]
C
cell_of_port [Fnf_core]	Cell of port.
char_of_intbig [Intbig]
chars_of_string [String2]
checkAllPortsDetermined [CfTypes]
checkBits [CfTypes]
checkWidth [CfTypes]
checkWidthIs [CfTypes]
checkWidthNotZero [CfTypes]
checkWidthsAreSame [CfTypes]
clock [Ltl]
comment [Psl_lexer]
comment [CfLexer]
commentDepth [CfLexer]
compare [Intbig]
compileApplication [CfCompiler]
compilePrimitive [CfPrims]
conditional_of_ifelse [CfParserUtil]
connect [Fnf_core]	Connects a cell to a port.
connect_name [CfParserUtil]	Connects a name to an expression.
cons_left [String2]
cons_right [String2]
consumers_of_cell [Fnf_core]	Consuming ports of a cell.
create [Loc]
create_add [Fnf_core]	Creates an adder.
create_and [Fnf_core]	Creates a AND gate.
create_bbox [Fnf_core]	Creates an black box.
create_buf [Fnf_core]	Creates a buffer cell.
create_concat [Fnf_core]	Creates a concatenation.
create_const [Fnf_core]	Creates a constant cell.
create_eq [Fnf_core]	Creates a equal comparison.
create_ff [Fnf_core]	Creates an ff.
create_ffc [Fnf_core]	Creates an ffc.
create_input [Fnf_core]	Creates a new input cell.
create_lt [Fnf_core]	Creates a less than comparison.
create_mul [Fnf_core]	Creates a multiplier.
create_mux [Fnf_core]	Creates a mux.
create_name [Fnf_core]	Creates a new signal name cell.
create_not [Fnf_core]	Creates a NOT gate.
create_or [Fnf_core]	Creates a OR gate.
create_output [Fnf_core]	Creates a new output cell.
create_root_scope [Fnf_core]	Creates a root scope and global netlist.
create_select [Fnf_core]	Creates a bit selection.
create_sub [Fnf_core]	Creates a subtractor.
create_sub_scope [Fnf_core]	Creates a sub scope.
create_xor [Fnf_core]	Creates a XOR gate.
current_file_loc [CfParserUtil]
D
dangle [Fnf_core]	The special cell that represents unconnected inputs.
debug [Report]
div [Intbig]
drop [List2]
drop_left [String2]
drop_right [String2]
E
eq [Intbig]
equivalent [Ltl]
error [Parser_util]	Parsing error reporting.
error [CfTypes]	Reports an error with an instantiation trace.
error [CfParserUtil]	Error Reporting
error [Report]
errorReported [Report]
eventually [Ltl]
executeTasks [CfTypes]	Executues tasks in queue.
expr_loc [CfAst]
extendEnv [CfTypes]
F
fatal [Report]
file [CfParser]
float_of_intbig [Intbig]
format_string [CfParserUtil]
free_arg_list [CfParserUtil]
G
ge [Intbig]
getBoolean [CfTypes]
getCompInfo [CfTypes]
getEnvId [CfTypes]
getFieldByIndex [CfTypes]
getFieldByName [CfTypes]
getFloat [CfTypes]
getInt [CfTypes]
getInteger [CfTypes]
getPorts [CfTypes]
getProducer [CfTypes]
getRelativeEnv [CfTypes]
getRenv [CfTypes]
getRenvValues [CfTypes]
getWidth [CfTypes]
get_current_token [Parser_util]	Gets the current token.
get_current_token [CfParserUtil]
gt [Intbig]
H
hashSize [Report]
help [Fnf]
help [Cf]
hexCharToBits [CfLexer]
hexToBits [CfLexer]
I
id_of_cell [Fnf_core]	Cell id of cell.
imply [Ltl]
incrSlot [CfTypes]	Increments slots counter.
index [List2]
indexf [List2]
indexq [List2]
info_of_cell [Fnf_core]	Returns cell information.
insert_meta_chars [String2]
instance_name_of_scope [Fnf_core]	Returns the module name of a scope.
int_of_intbig [Intbig]
intbig_of_binary_string [Intbig]
intbig_of_char [Intbig]
intbig_of_float [Intbig]
intbig_of_int [Intbig]
intbig_of_string [Intbig]
isBoolean [CfTypes]
isComp [CfTypes]
isEqual [CfTypes]	Compares two variables.
isFloat [CfTypes]
isInteger [CfTypes]
isKnown [Loc]
isList [CfTypes]
isProperty [CfTypes]
isRecord [CfTypes]
isSystem [CfTypes]
isVector [CfTypes]
is_cell_producer [Fnf_core]	Checks if cell is a valid producer, i.e., not a dangle, output, or a name.
is_port_dangling [Fnf_core]	Checks if port is dangling.
is_zero_width_vector [CfTypes]
items_of_scope [Fnf_core]	Returns the items of a scope.
iteri [List2]
J
join [String2]	`join strings delimiter` joins a list of `strings` together with a `delimiter`.
L
le [Intbig]
left_char [String2]
left_string [String2]
listToIntList [CfTypes]
listToIntegerList [CfTypes]
listToString [CfTypes]
lt [Intbig]
M
main [Fnf]
main [Cf]
make [List2]
map [String2]
map2 [String2]
mapi [List2]
modu [Intbig]
module_name_of_scope [Fnf_core]	Returns the module name of a scope.
mul [Intbig]
N
name_of_cell [Fnf_core]	String name of cell.
ne [Intbig]
neg [Intbig]
negedge [Ltl]
netlist [Fnf_parser]
never [Ltl]
newBoolean [CfTypes]
newComp [CfTypes]
newEnvRoot [CfTypes]
newFloat [CfTypes]
newFree [CfTypes]	Creates a new free variable.
newFreeLoc [CfTypes]	Creates a new free variable with a location.
newFreeWithTask [CfTypes]	Assigns a slot of a new free variable.
newInteger [CfTypes]
newPropertyNext [CfTypes]
newPropertyNot [CfTypes]
newPropertyOr [CfTypes]
newPropertyUntil [CfTypes]
newPropertyVector [CfTypes]
newRecord [CfTypes]
newSlot [CfTypes]	Creates a new slot.
newSystem [CfTypes]
newVector [CfTypes]
newVectorConst [CfTypes]
new_add [Cf_fnf]
new_and [Cf_fnf]
new_bbox [Cf_fnf]
new_buf [Cf_fnf]
new_concat [Cf_fnf]
new_const [Cf_fnf]
new_equ [Cf_fnf]
new_input [Cf_fnf]
new_lt [Cf_fnf]
new_mul [Cf_fnf]
new_mux [Cf_fnf]
new_not [Cf_fnf]
new_or [Cf_fnf]
new_output [Cf_fnf]
new_reg [Cf_fnf]
new_root_system [Cf_fnf]
new_select [Cf_fnf]
new_state [Cf_fnf]
new_sub [Cf_fnf]
new_sub_system [Cf_fnf]
new_xor [Cf_fnf]
next [Ltl]
next_ae [Ltl]
next_event [Ltl]
next_event_ae [Ltl]
next_event_repeat [Ltl]
next_lex [Parser_util]	Handles next token.
next_lex [CfParserUtil]
next_repeat [Ltl]
not_ [Ltl]
nusmv_of_ltl [Ltl]
O
one [Intbig]
ones [Intbig]
open_out [Cf]
or_ [Ltl]
output_c [Fnf_c]	Output a C model given a scope.
output_fnf [Fnf_out]
output_fnf [Cf_fnf]	Generates and FNF netlist.
output_fnf_compact [Fnf_out]
output_jhdl [Fnf_jhdl]
output_nusmv [Fnf_nusmv]
output_verilog [Fnf_verilog]
output_vhdl [Fnf_vhdl]
P
parent_of_scope [Fnf_core]	Returns the parent of a scope.
parse_channel [Parser_util]	Parses an channel.
parse_cmd_args [Cf]
parse_program [CfParserUtil]	Main parsing.
path_of_cell [Fnf_core]	Retuns the hierarchical scope path of a cell.
path_of_scope [Fnf_core]	Retuns the hierarchical scope path of a scope.
port_of_cell [Fnf_core]	One port of a cell.
ports_of_cell [Fnf_core]	Ports of a cell.
posedge [Ltl]
pow [Intbig]
print_msg [Ut]
producer_of_port [Fnf_core]	Producing cell of port.
psl_specification [Psl_parser]
R
range [List2]
readyTask [CfTypes]	Sends a task into the ready queue.
reconnect [Fnf_core]	Reconnects a cell to a port.
recordInfo [CfTypes]
replace [String2]
replace_chars_in_string [String2]	`replace_chars_in_string string_of_char string` replaces the characters in a `string` defined by a function, `string_of_char`.
replace_meta_chars [String2]
replace_printf_chars [String2]
replace_xml_chars [String2]
report [Ut]	Reports the test results and resets the test counters.
right_char [String2]
right_string [String2]
root_of_scope [Fnf_core]	Returns the root scope.
run [Test_suite]
run_test [Ut]	Runs a test given the parent test name, the sub test name, and the test function.
S
scope_of_cell [Fnf_core]	Returns the enclosing scope of a cell.
select_position [CfParserUtil]	Selects position from system or record expression.
setLocation [CfTypes]	Sets current location and environment.
setVariableDependence [CfTypes]	Specifies a variable dependency.
set_argv_position [CfPrims]
set_base_env [CfParserUtil]	Setting the base environment.
set_clock_domain [Cf_fnf]
set_env [CfParserUtil]
set_error_limit [Report]
shift_left [Intbig]
shift_right [Intbig]
sign [Intbig]
slotVariableLenient [CfTypes]	Slots a variable.
slotVariableStrict [CfTypes]	Slots a variable.
split [String2]	`split string delimitiers` splits a `string` delimtied by any character specified in the `delimitiers` string.
stmt_loc [CfAst]
stmt_of_comp_named [CfParserUtil]	Creates a statement from a named component.
stringToList [CfTypes]
string_of_char [String2]	`string_of_char char` creates a string from a single `char`.
string_of_chars [String2]
string_of_intbig [Intbig]
sub [Intbig]
sync [CfTypes]	Syncs a slot.
T
take [List2]
take_left [String2]
take_right [String2]
test [String2]
test [Intbig]
test_suite [Test_suite]
toString [Loc]
token [Psl_lexer]
token [Fnf_lexer]
token [CfLexer]
two [Intbig]
typeToString [CfTypes]
U
unify [CfTypes]	Unifies two variables.
unknown [Loc]
until [Ltl]
until_overlap [Ltl]
V
variable [Ltl]
version [Version]
W
warning [Report]
width_of_cell [Fnf_core]	Output width of a cell.
width_of_port [Fnf_core]	Input width of a cell port.
width_of_producer [Cf_fnf]	Signal width.
write_apply [CfAst]
Z
zero [Intbig]
zero_width_vector [CfTypes]