it.unimo.dbgroup.momis.odli3
Class Exist

java.lang.Object
  it.unimo.dbgroup.momis.odli3.MomisObject
      it.unimo.dbgroup.momis.odli3.RuleBody
          it.unimo.dbgroup.momis.odli3.ForallExist
              it.unimo.dbgroup.momis.odli3.Exist

All Implemented Interfaces:

java.io.Serializable

public class Exist

extends ForallExist

implements java.io.Serializable

Descrive un predicato di tipo Forall

See Also:

Serialized Form

Field Summary

Fields inherited from class it.unimo.dbgroup.momis.odli3.ForallExist

andListRule, collezione, iteratore

Fields inherited from class it.unimo.dbgroup.momis.odli3.MomisObject

mod_GenericODLParser, mod_GlobalSchema, mod_QueryManger, mod_SIDes_ARM, mod_SIDes_ARTEMIS, mod_SIDes_EXTM, mod_SIDes_JoinMap, mod_SIDes_main, mod_SIDes_SAM, mod_SIDes_SIM, mod_SIDes_SIM2, mod_SIDes_SLIM, mod_SIDes_TREdit, mod_SIDes_TUNIM

Constructor Summary

Exist(java.lang.String it, java.util.Vector dn, java.util.Vector alr)
Il costruttore deve specificare tutte le grandezze in oggetto:

Methods inherited from class it.unimo.dbgroup.momis.odli3.MomisObject

getAdditionalInfo, getAdditionalInfos, getGenericProducerDescription, getProducerDescription, getProducerId, putAdditionalInfo, setProducerId

Methods inherited from class java.lang.Object

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

Constructor Detail

Exist

public Exist(java.lang.String it,
             java.util.Vector dn,
             java.util.Vector alr)

Il costruttore deve specificare tutte le grandezze in oggetto:

Parameters:

it - nome dell'iteratore