Created checkLLBExistance prototype. Looks for the existance of assigned LLB labels for given automata states. This will help to shrink our current implementation of hblComposition_new.m
Created checkLLBExistance prototype. Looks for the existance of assigned LLB labels for given automata states. This will help to shrink our current implementation of hblComposition_new.m

drinkcor/onlineRCBHT,drinkcor/onlineRCBHT,drinkcor/onlineRCBHT,drinkcor/onlineRCBHT