X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/7086e7071e8bfa2012e9134530a158c88a832ba6..a05fafb9444b70bdfe9e3af769083ff7d8a39498:/lib/bitsetv.h diff --git a/lib/bitsetv.h b/lib/bitsetv.h index cac4eb07..84a2c667 100644 --- a/lib/bitsetv.h +++ b/lib/bitsetv.h @@ -37,13 +37,26 @@ extern bitsetv bitsetv_create PARAMS ((unsigned int, unsigned int, extern void bitsetv_free PARAMS ((bitsetv)); /* Zero vector of bitsets. */ -extern void bitsetv_zero PARAMS ((bitsetv, unsigned int)); +extern void bitsetv_zero PARAMS ((bitsetv)); /* Set vector of bitsets. */ -extern void bitsetv_ones PARAMS ((bitsetv, unsigned int)); +extern void bitsetv_ones PARAMS ((bitsetv)); + +/* Given a vector BSETV of N bitsets of size N, modify its contents to + be the transitive closure of what was given. */ +extern void bitsetv_transitive_closure PARAMS ((bitsetv)); + +/* Given a vector BSETV of N bitsets of size N, modify its contents to + be the reflexive transitive closure of what was given. This is + the same as transitive closure but with all bits on the diagonal + of the bit matrix set. */ +extern void bitsetv_reflexive_transitive_closure PARAMS ((bitsetv)); /* Dump vector of bitsets. */ extern void bitsetv_dump PARAMS ((FILE *, const char *, - const char *, bitsetv, - unsigned int)); + const char *, bitsetv)); + +/* Function to debug vector of bitsets from debugger. */ +extern void debug_bitsetv PARAMS ((bitsetv)); + #endif /* _BITSETV_H */