Logo Search packages:      
Sourcecode: lbt version File versions  Download package

lbt.C File Reference

Detailed Description

The main program of lbt

Definition in file lbt.C.

#include "LtlGraph.h"
#include <stdio.h>

Go to the source code of this file.


int main (int argc, char *argv[])
static void printGates (const class LtlGraph &gba, unsigned state)
static class LtlreadFormula (bool negation)
static void translateFormula (const class Ltl &formula)

Generated by  Doxygen 1.6.0   Back to index