Polaris: AssertNoDependence Class Reference

AssertNoDependence Class Reference

a class for asserting no dependence between variables More...

#include <AssertNoDependence.h>

Inheritance diagram for AssertNoDependence:

Inheritance graph
[legend]
List of all members.

Public Member Functions

 AssertNoDependence ()
 Construct a AssertNoDependence.
 AssertNoDependence (const AssertNoDependence &a)
 Construct a AssertNoDependence with a copy of another AssertNoDependence's current value.
virtual ~AssertNoDependence ()
 destructor
virtual void print (ostream &o) const
 print the object.
virtual Assertionclone () const
 clone the assertion
virtual AssertNoDependenceoperator= (const AssertNoDependence &a)
 assignment operator.
virtual Listablelistable_clone () const
 needed for Listable

Detailed Description

a class for asserting no dependence between variables

C Polaris

See also:
Directive/AssertNoDependence.h

Directive/AssertNoDependence.h

Description

The AssertNoDependence class is meant to provide a specific class for declaring that there is no dependence between certain variables.

Bugs

No known bugs.

Definition at line 29 of file AssertNoDependence.h.


Constructor & Destructor Documentation

AssertNoDependence::AssertNoDependence  ) 
 

Construct a AssertNoDependence.

Definition at line 2768 of file Assertion.cc.

References AS_NODEPENDENCE.

Referenced by clone(), and listable_clone().

AssertNoDependence::AssertNoDependence const AssertNoDependence a  ) 
 

Construct a AssertNoDependence with a copy of another AssertNoDependence's current value.

Definition at line 2773 of file Assertion.cc.

References ExpressionAssertion::operator=().

AssertNoDependence::~AssertNoDependence  )  [virtual]
 

destructor

... nothing to do

Definition at line 2778 of file Assertion.cc.


Member Function Documentation

void AssertNoDependence::print ostream &  o  )  const [virtual]
 

print the object.

Reimplemented from Assertion.

Definition at line 2784 of file Assertion.cc.

References ExpressionAssertion::arg_list_guarded(), Iterator< T >::current(), and Iterator< T >::valid().

Assertion * AssertNoDependence::clone  )  const [virtual]
 

clone the assertion

Reimplemented from ExpressionAssertion.

Definition at line 2815 of file Assertion.cc.

References AssertNoDependence().

AssertNoDependence & AssertNoDependence::operator= const AssertNoDependence a  )  [virtual]
 

assignment operator.

Definition at line 2800 of file Assertion.cc.

References ExpressionAssertion::operator=().

Listable * AssertNoDependence::listable_clone  )  const [virtual]
 

needed for Listable

Reimplemented from Assertion.

Definition at line 2809 of file Assertion.cc.

References AssertNoDependence().


The documentation for this class was generated from the following files:
 © 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:06:48 2005