/*
* Copyright (c) 2003- michael lawley and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the GNU Lesser General Public License version 2.1 as published by the Free Software Foundation
* which accompanies this distribution, and is available by writing to
* Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*
* Contributors:
* michael lawley
*
*
* $Id$
*/
package tefkat.model;
import org.eclipse.emf.common.util.EList;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Not Term</b></em>'.
* <!-- end-user-doc -->
*
*
* @see tefkat.model.TefkatPackage#getNotTerm()
* @model
* @generated
*/
public interface NotTerm extends CompoundTerm {
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
String copyright = "Copyright michael lawley Pty Ltd 2003-2007";
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @model kind="operation" type="tefkat.model.Var"
* @generated
*/
EList getNonLocalVars();
} // NotTerm