MineLink
 All Data Structures Functions Variables Pages
delphos::BlockSelectionPrecedenceConstraint Class Reference

A block selection precedence constraint. More...

#include <constraint.h>

Inheritance diagram for delphos::BlockSelectionPrecedenceConstraint:
Inheritance graph
Collaboration diagram for delphos::BlockSelectionPrecedenceConstraint:
Collaboration graph

Public Member Functions

 BlockSelectionPrecedenceConstraint (const string &name, const BlockSelection &bs_first, const BlockSelection &bs_second)
 Creates a block selection precedence constraint. More...
 
virtual ~BlockSelectionPrecedenceConstraint ()
 Destroy the block selection precedence constraint.
 
virtual const
delphos::BlockSelection
GetFirstBlockSelection () const
 Returns the first block selection to be extracted.
 
virtual const
delphos::BlockSelection
GetSecondBlockSelection () const
 Returns the second block selection to be extracted.
 
virtual bool Check (const delphos::Schedule &sch) const
 Checks if the constraint is satisfied. More...
 
virtual bool Check (const delphos::FractionalSchedule &sch) const
 Checks if the given fractional schedule satisfies the constraint. More...
 
- Public Member Functions inherited from delphos::Constraint
 Constraint (const string &name)
 Creates a constraint with given name. More...
 
virtual ~Constraint ()
 Destructor. More...
 
virtual string ToXML (const unsigned int identation_level=0) const
 A XML string describing the constraint. More...
 
const char * TypeName () const
 a char string used a identifier in the XML representation of the constraint.
 

Detailed Description

A block selection precedence constraint.

The block selection precedence constraint force blocks of first block selection to be scheduled before blocks of second block selection.

Constructor & Destructor Documentation

delphos::BlockSelectionPrecedenceConstraint::BlockSelectionPrecedenceConstraint ( const string &  name,
const BlockSelection bs_first,
const BlockSelection bs_second 
)

Creates a block selection precedence constraint.

Parameters
bs_firstThe block selection to be scheduled before the second one.
bs_secondThe block selection to be scheduled after the first one.

Member Function Documentation

bool delphos::BlockSelectionPrecedenceConstraint::Check ( const delphos::Schedule sch) const
virtual

Checks if the constraint is satisfied.

Parameters
schThe schedule to be checked.

Return true only if the constraint is satisfied.

Reimplemented from delphos::Constraint.

bool delphos::BlockSelectionPrecedenceConstraint::Check ( const delphos::FractionalSchedule sch) const
virtual

Checks if the given fractional schedule satisfies the constraint.

Parameters
fschThe fractional schedule to be checked.

This method checks if the given schedule satisfies the constraint (returning true) or not (return false).

Reimplemented from delphos::Constraint.


The documentation for this class was generated from the following files: