---

/home/pauldt/projects/IDEA/IDEA-ALL/IDEA-DEV/Modules/PLASMA/PlanServer/Includes/PlasmaTokenImpl.hh

Go to the documentation of this file.

// -*- Mode: C++ -*-
//      CVS: $Id: PlasmaTokenImpl.hh,v 1.18 2005/11/15 18:26:51 rijsman Exp $
//      Tag: $name$
//     Info: $CVSROOT/IDEA-DEV/COPYRIGHT

#ifndef PLASMA_TOKEN_IMPLEMENTATION_HEADER
#define PLASMA_TOKEN_IMPLEMENTATION_HEADER

#include "PslTokenImpl.hh"

#include "Token.hh"
#include "TokenVariable.hh"

namespace IDEA
{
  class PslConstraint;
  class PslPredicate;
  class PslTimeline;

  class PlasmaTokenImpl:
    public PslTokenImpl
  {
  public:
    PlasmaTokenImpl( const PslDatabase* database,
                     const PslTimeline* timeline,
                     const PslPredicate* predicate,
                     int externalTokenId, 
                     const TokenLocation& source,
                     const std::string& comRelayName,
                     const EUROPA::TokenId& tokenId );

    PlasmaTokenImpl( const PslDatabase* database,
                     const PslPredicate* predicate,
                     int externalTokenId, 
                     const TokenLocation& source,
                     const std::string& comRelayName,
                     const EUROPA::TokenId& tokenId );

    ~PlasmaTokenImpl();

    void finalize();
    void commit();
    bool isCommitted() const;
    bool canBeCommitted() const;
    Time getEarliestEndTime() const;
    Time getEarliestStartTime() const;
    int getId() const;
    Time getMaximumDuration() const;
    Time getMinimumDuration() const;
    Time getLatestEndTime() const;
    Time getLatestStartTime() const;

    bool endsAtStart( const PslToken* token ) const;

    void setSuccessor( const PslToken* token ) const;

    const EUROPA::TokenId getTokenId() const;

    void print( std::ostream& os ) const;

    void setEarliestEndTime( const Time& value );
    void setLatestEndTime( const Time& value );
    void setLatestStartTime( const Time& value );
    void setEarliestStartTime( const Time& value );
    void resetSuccessorSelectorParameters( const std::vector<int>& authorities );
    bool endsNoEarlierThanEnd(const PslToken * token) const;
  private:
    const PslTimeline* retrieveTimelineAllocation() const;
    void resetSuccessorSelectorParameter( const std::vector<int>& authorities, int index );

    const PslVariable* createEndVariable();
    
    const PslVariable* createStartVariable();
    
    void createParameters( const PslToken* token );

    EUROPA::TokenId m_TokenId;
  };

  struct earliestStarTimeToken:
    public std::binary_function< EUROPA::TokenId, EUROPA::TokenId, bool>
  {
    bool operator()( EUROPA::TokenId& lhs, EUROPA::TokenId& rhs ) const
    {
      if( !lhs.isValid() || !rhs.isValid() )
        return false;
      
      double lhs_est = lhs->getStart()->derivedDomain().getLowerBound();
      double rhs_est = rhs->getStart()->derivedDomain().getLowerBound();

      if( lhs_est < rhs_est )
        return true;

      double lhs_lst = lhs->getStart()->derivedDomain().getUpperBound();
      double rhs_lst = rhs->getStart()->derivedDomain().getUpperBound();

      if( lhs_est == rhs_est && lhs_lst <  rhs_lst  )
        return true;

      double lhs_eet = lhs->getEnd()->derivedDomain().getLowerBound();
      double rhs_eet = rhs->getEnd()->derivedDomain().getLowerBound();

      if( lhs_est == rhs_est && lhs_lst ==  rhs_lst &&  lhs_eet < rhs_eet )
        return true;

      double lhs_let = lhs->getEnd()->derivedDomain().getUpperBound();
      double rhs_let = rhs->getEnd()->derivedDomain().getUpperBound();

      if( lhs_est == rhs_est && lhs_lst ==  rhs_lst &&  lhs_eet == rhs_eet && lhs_let < rhs_let )
        return true;

      return false;
    }
  };

}

#endif //PLASMA_TOKEN_IMPLEMENTATION_HEADER

---

Contact information © IDEA