The Simons     Component Library

           

---

Relation.h

//
//  SCL : Simons Component Library
//
//
//  Filename:   Relation.h
//  Contents:   Relation class
//  Author:     Anthony J H Simons
//  Revised:    5 January 2006

// This software is distributed free in the hope that others will
// find it useful.  However, it comes WITHOUT ANY WARRANTY.  No
// liability can be accepted for software failure, merchantability
// or fitness for a particular purpose.  You can redistribute this
// software in its original form, or in a modified form, provided
// that this disclaimer is retained in the file banner.

#ifndef SCL_RELATION
#define SCL_RELATION

#include "Bag.h"                // Include my superclass type
#include "RelationID.h"         // Include my pointer type

#include "SetID.h"              // Depends on the pointer type


class Relation : public Bag {
protected:
        Relation(const Relation&);
public:
        Relation();
        virtual ~Relation();
        Relation(CollectionID);
        virtual ObjectID clone() const;
        virtual Void add(ObjectID);
        virtual Void remove(ObjectID);
        virtual Void retainAll(CollectionID);
        Void addAt(ObjectID, ObjectID);
        Void removeAt(ObjectID);
        SetID getAt(ObjectID) const;
        SetID domain() const;
        SetID range() const;
        ObjectID domain(Integer) const;
        ObjectID range(Integer) const;
        RelationID compose(RelationID) const;
};


inline RelationID::RelationID() {}

inline RelationID::~RelationID() {}

inline RelationID::RelationID(const Null* null) :
        BagID(null) {}
        
inline RelationID::RelationID(const Relation* relation) :
        BagID(relation) {}
        
inline RelationID::RelationID(const RelationID& pointer) :
        BagID(pointer) {}
        
inline RelationID& RelationID::operator=(const Relation* relation) {
        assign(relation);
        return *this;
}

inline RelationID& RelationID::operator=(const RelationID& pointer) {
        assign(pointer);
        return *this;
}

#endif

---