{"shas":[["6af7bd089a8fa71b1f24cc3c0cd021b2787f0f45","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/mtbdd/mtbdd_node.hh: hide some structures\n\nInternalNode and LeafNode data structures have been hidden from the outside\nworld into an unnamed namespace.","Ondra Lengal"],["af68fe4ec4fc6a52de24880b723709dc004204f8","dac0d4d2b0fcf621f57ae3ee5783a554d0ff2b3d@gmail.com","include/vata/mtbdd/mtbdd_node.hh: change test for NULL for better\n\nCheck for NULL reference is now done using the IsNull function.","Ondra Lengal"]],"ref":"refs/heads/mtbdd_node_diferentiation","size":2,"head":"af68fe4ec4fc6a52de24880b723709dc004204f8","push_id":37242665}