examples.holograms

Class DrawHologram

java.lang.Object

examples.holograms.DrawHologram

public class DrawHologram
extends java.lang.Object

Draw a hologram from a trace and an LTL formula

Author:

Sylvain Hallé

Constructor Summary

Constructors

Constructor and Description
DrawHologram()

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DrawHologram

public DrawHologram()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws OperatorBuilder.BuildException,
                        java.io.FileNotFoundException

Throws:

OperatorBuilder.BuildException

java.io.FileNotFoundException