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.

Functions

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