/** */ package net.certware.argument.language.l; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>Predicate Atom</b></em>'. * <!-- end-user-doc --> * * <p> * The following features are supported: * </p> * <ul> * <li>{@link net.certware.argument.language.l.PredicateAtom#getFid <em>Fid</em>}</li> * <li>{@link net.certware.argument.language.l.PredicateAtom#getTerms <em>Terms</em>}</li> * </ul> * * @see net.certware.argument.language.l.LPackage#getPredicateAtom() * @model * @generated */ public interface PredicateAtom extends Atom, pSentenceLiteral { /** * Returns the value of the '<em><b>Fid</b></em>' attribute. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Fid</em>' attribute isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Fid</em>' attribute. * @see #setFid(String) * @see net.certware.argument.language.l.LPackage#getPredicateAtom_Fid() * @model * @generated */ String getFid(); /** * Sets the value of the '{@link net.certware.argument.language.l.PredicateAtom#getFid <em>Fid</em>}' attribute. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Fid</em>' attribute. * @see #getFid() * @generated */ void setFid(String value); /** * Returns the value of the '<em><b>Terms</b></em>' containment reference. * <!-- begin-user-doc --> * <p> * If the meaning of the '<em>Terms</em>' containment reference isn't clear, * there really should be more of a description here... * </p> * <!-- end-user-doc --> * @return the value of the '<em>Terms</em>' containment reference. * @see #setTerms(Terms) * @see net.certware.argument.language.l.LPackage#getPredicateAtom_Terms() * @model containment="true" * @generated */ Terms getTerms(); /** * Sets the value of the '{@link net.certware.argument.language.l.PredicateAtom#getTerms <em>Terms</em>}' containment reference. * <!-- begin-user-doc --> * <!-- end-user-doc --> * @param value the new value of the '<em>Terms</em>' containment reference. * @see #getTerms() * @generated */ void setTerms(Terms value); } // PredicateAtom