Package org.svvrl.goal.core.logic

Class Logic

java.lang.Object
org.svvrl.goal.core.logic.Logic
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
ACTL, LTL, ORExpression, PL, QPTL, RegularExpression
public abstract class Logic
extends java.lang.Object
implements java.io.Serializable
Author:
Ming-Hsien Tsai
See Also:
Serialized Form

  • Constructor Summary

    Constructors 
    Constructor Description
    Logic()  

  • Method Summary

    Methods inherited from class java.lang.Object

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

  • Constructor Details