Petri net checker

I have added typechecking.{c,h} and modified the Makefile.am to compile mist with this two files.

There are no errors when compiling but I didn't test yet the functions
No that is ok the way you wrote. Perhaps add a line of comment saying something like calling on the “rules” only.

On Fri, Nov 28, 2014 at 2:25 PM, pevalme <notifications@github.com> wrote:

>>  	printf("Parsing the problem instance.\n");
>>  
>>  	my_yyparse(&atree, argv[optind++]);
>>  
>> +	if (!is_petri_net(atree->subtrees[0])){
> Because I just want to take care of the part of the tree which contains the rules.
> I can modify the function is_petri_net to receive a complete tree.
> ---
> Reply to this email directly or view it on GitHub:
> https://github.com/pierreganty/mist/pull/6/files#r21030831