Main Page   Class Hierarchy   Compound List   File List   Contact   Download   Symbolic Constraints   Examples  

SCIL::ABA_Constraint Class Reference

Collaboration diagram for SCIL::ABA_Constraint:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 ABA_Constraint (subproblem &S_, cons_obj *Ref_cons_, Activation g, Validity v, Liftability l, int n)
 The constructor.
 ABA_Constraint (ILP_Problem &IP, cons_obj *Ref_cons_, Activation g, Validity v, Liftability l, int n)
 The Constructor.
virtual double coeff (ABA_VARIABLE *)
virtual int genRow (Active_Variables *var, Row &row)
 Generates the row format of the constraint associated with the variable set var.
virtual double rhs ()
virtual ABA_CSENSE * sense ()
 The sense of the constraint.
cons_objScons ()
int index ()

Friends

class ILP_Problem
class subproblem
class cons_obj

Detailed Description

Definition at line 13 of file aba_constraint.h.


Member Function Documentation

double ABA_Constraint::coeff ( ABA_VARIABLE *  v  )  [virtual]
Parameters:
v A pointer to a variable.
Returns:
The coefficient of the variable v in the constraint.

Definition at line 8 of file aba_constraint.cc.

int ABA_Constraint::genRow ( Active_Variables *  var,
Row &  row 
) [virtual]

This function is declared virtual since faster constraint specific implementations might be desirable. All nonzero coefficients are added to the row format. Before we generate the coefficients we try to expand the constraint, afterwards it is compressed again.

Returns:
The number of nonzero elements in the row format row.
Parameters:
var The variable set for which the row format should be computed.
row Stores the row format after calling this function.

Definition at line 13 of file aba_constraint.cc.

double ABA_Constraint::rhs (  )  [virtual]
Returns:
The right hand side of the constraint.

Definition at line 17 of file aba_constraint.cc.


The documentation for this class was generated from the following files:
Generated on Mon Mar 28 22:03:53 2011 for SCIL by  doxygen 1.6.3