Thyra::VectorSpaceBase< Scalar > Class Template Reference
[C++ code for foundational Thyra operator/vector interfaces]

Abstract interface for objects that represent a space for vectors. More...

#include <Thyra_VectorSpaceBase_decl.hpp>

Inheritance diagram for Thyra::VectorSpaceBase< Scalar >:

Inheritance graph
[legend]
List of all members.

Public pure virtual functions that must be overridden

virtual Index dim () const =0
 Return the dimension of the vector space.
virtual bool isCompatible (const VectorSpaceBase< Scalar > &vecSpc) const =0
 Compare the compatibility of two vector spaces.
virtual RCP< const VectorSpaceFactoryBase<
Scalar > > 
smallVecSpcFcty () const =0
 Return a VectorSpaceFactoryBase object for the creation of (usually serial) vector spaces with a small dimension.
virtual Scalar scalarProd (const VectorBase< Scalar > &x, const VectorBase< Scalar > &y) const =0
 Return the scalar product of two vectors in the vector space.
void scalarProds (const MultiVectorBase< Scalar > &X, const MultiVectorBase< Scalar > &Y, const ArrayView< Scalar > &scalarProds_out) const
 Return the scalar product of each column in two multi-vectors in the vector space.

Public virtual functions with default implementations

virtual bool isEuclidean () const
 Return if this vector space has a Euclidean (identity) basis in which case the scalar product is the same as the dot product.
virtual bool hasInCoreView (const Range1D &rng=Range1D(), const EViewType viewType=VIEW_TYPE_DETACHED, const EStrideType strideType=STRIDE_TYPE_NONUNIT) const
 Returns true if this->acquireDetachedView(rng,...) returns a direct view of the range of data requested.
virtual RCP< const VectorSpaceBase<
Scalar > > 
clone () const
 Clone this object (if supported).

Deprecated .

void scalarProds (const MultiVectorBase< Scalar > &X, const MultiVectorBase< Scalar > &Y, Scalar scalarProds[]) const
 Deprecated .

Protected pure virtual functions that must be overridden

virtual RCP< VectorBase< Scalar > > createMember () const =0
 Create a vector member from the vector space.
virtual RCP< MultiVectorBase<
Scalar > > 
createMembers (int numMembers) const =0
 Create a set of vector members (a MultiVectorBase) from the vector space.
virtual RCP< VectorBase< Scalar > > createMemberView (const RTOpPack::SubVectorView< Scalar > &raw_v) const =0
 Create a vector member that is a non-const view of raw vector data.
virtual RCP< const VectorBase<
Scalar > > 
createMemberView (const RTOpPack::ConstSubVectorView< Scalar > &raw_v) const =0
 Create a vector member that is a const view of raw vector data.
virtual RCP< MultiVectorBase<
Scalar > > 
createMembersView (const RTOpPack::SubMultiVectorView< Scalar > &raw_mv) const =0
 Create a multi-vector member that is a non-const view of raw multi-vector data.
virtual RCP< const MultiVectorBase<
Scalar > > 
createMembersView (const RTOpPack::ConstSubMultiVectorView< Scalar > &raw_mv) const =0
 Create a multi-vector member that is a const view of raw multi-vector data.

Protected virtual funtions.

virtual void scalarProdsImpl (const MultiVectorBase< Scalar > &X, const MultiVectorBase< Scalar > &Y, const ArrayView< Scalar > &scalarProds) const =0
 

Related Functions

(Note that these are not member functions.)

RCP< const VectorSpaceBase<
Scalar > > 
makeHaveOwnership (const RCP< const VectorSpaceBase< Scalar > > &vs)
 Helper function that clones a VectorSpaceBase object if the RCP does not have ownership.
RCP< VectorBase< Scalar > > createMember (const RCP< const VectorSpaceBase< Scalar > > &vs, const std::string &label="")
 Create a vector member from the vector space.
RCP< VectorBase< Scalar > > createMember (const VectorSpaceBase< Scalar > &vs, const std::string &label="")
 Calls createMember(Teuchos::rcp(&vs,false)).
RCP< MultiVectorBase< Scalar > > createMembers (const RCP< const VectorSpaceBase< Scalar > > &vs, int numMembers, const std::string &label="")
 Create a set of vector members (a MultiVectorBase) from the vector space.
RCP< MultiVectorBase< Scalar > > createMembers (const VectorSpaceBase< Scalar > &vs, int numMembers, const std::string &label="")
 Calls createMembers(Teuchos::rcp(&vs,false),numMembers).
RCP< VectorBase< Scalar > > createMemberView (const RCP< const VectorSpaceBase< Scalar > > &vs, const RTOpPack::SubVectorView< Scalar > &raw_v, const std::string &label="")
 Create a vector member that is a non-const view of raw data.
RCP< VectorBase< Scalar > > createMemberView (const VectorSpaceBase< Scalar > &vs, const RTOpPack::SubVectorView< Scalar > &raw_v, const std::string &label="")
 Calls createMemberView(Teuchos::rcp(&vs,false),raw_v).
RCP< const VectorBase< Scalar > > createMemberView (const RCP< const VectorSpaceBase< Scalar > > &vs, const RTOpPack::ConstSubVectorView< Scalar > &raw_v, const std::string &label="")
 Create a vector member that is a const view of raw data.
RCP< const VectorBase< Scalar > > createMemberView (const VectorSpaceBase< Scalar > &vs, const RTOpPack::ConstSubVectorView< Scalar > &raw_v, const std::string &label="")
 Calls createMemberView(Teuchos::rcp(&vs,false),raw_v).
RCP< MultiVectorBase< Scalar > > createMembersView (const RCP< const VectorSpaceBase< Scalar > > &vs, const RTOpPack::SubMultiVectorView< Scalar > &raw_mv, const std::string &label="")
 Create a multi-vector member that is a non-const view of raw data.
RCP< MultiVectorBase< Scalar > > createMembersView (const VectorSpaceBase< Scalar > &vs, const RTOpPack::SubMultiVectorView< Scalar > &raw_mv, const std::string &label="")
 Calls createMembersView(Teuchos::rcp(&vs,false),raw_mv).
RCP< const MultiVectorBase<
Scalar > > 
createMembersView (const RCP< const VectorSpaceBase< Scalar > > &vs, const RTOpPack::ConstSubMultiVectorView< Scalar > &raw_mv, const std::string &label="")
 Create a multi-vector member that is a const view of raw data.
RCP< const MultiVectorBase<
Scalar > > 
createMembersView (const VectorSpaceBase< Scalar > &vs, const RTOpPack::ConstSubMultiVectorView< Scalar > &raw_mv, const std::string &label="")
 Calls createMembersView(Teuchos::rcp(&vs,false),raw_mv).

Detailed Description

template<class Scalar>
class Thyra::VectorSpaceBase< Scalar >

Abstract interface for objects that represent a space for vectors.

This interface acts primarily as an "Abstract Factory" interface for creating VectorBase objects using the non-member function Thyra::createMember(). A VectorSpaceBase can also create MultiVectorBase objects which represent a compact collection of vectors using the non-member function Thyra::createMembers(). A secondary role for VectorSpaceBase objects is to test for compatibility of vector space objects using the isCompatible() method and to apply the space's scalar (inner) product.

Clients can not directly create VectorBase and MultiVectorBase objects using the member functions createMember(), createMembers(), createMemberView(), and createMembersView() but instead must use the non-member Thyra_Op_Vec_createMember_grp.

Note that a VectorSpaceBase object must also be able to create MultiVectorBase objects with any number of column vectors using the Thyra::createMembers() function. Once created, the LinearOpBase::domain() function supported by a created MultiVectorBase object returns a vector space of dimension equal to the number of columns in the multi-vector. An interesting implication of this design is that the creation of a multi-vector provides a way for clients to create vector spaces of any arbitrary (although small usually) dimension. In order to give the client the same ability to create smaller vector spaces without having to create a dummy multi-vector object first, the method smallVecSpcFcty() is included. The method smallVecSpcFcty() returns a VectorSpaceFactoryBase object that can create (typically serial) vector spaces of any small dimension that are compatible with the domain spaces of MultiVectorBase objects created by the vector space object.

A vector space is also where the scalar product for the space is defined which is computed by the scalarProd() method. A scalar product allows the vector space to introduce scaling into many different types of numerical algorithms.

If the underlying object is not initialized, then dim()==0 will be true and none of the other methods should be called or exceptions will be thrown.

Notes for subclass developers

This is a fairly bare-bones interface class without much in the way of default function implementations. The subclass VectorSpaceDefaultBase provides a default multi-vector implementation and should the the first choice for subclass implementations.

Definition at line 270 of file Thyra_VectorSpaceBase_decl.hpp.


Member Function Documentation

template<class Scalar>
virtual Index Thyra::VectorSpaceBase< Scalar >::dim (  )  const [pure virtual]

Return the dimension of the vector space.

If the underlying object is not initialized, then dim()==0 will be true and none of the other methods should be called.

template<class Scalar>
virtual bool Thyra::VectorSpaceBase< Scalar >::isCompatible ( const VectorSpaceBase< Scalar > &  vecSpc  )  const [pure virtual]

Compare the compatibility of two vector spaces.

If this function returns true, then vectors created from either of the vector spaces will be compatible and can be combined in vector operations.

Preconditions:

Postconditions:

Invariants:

template<class Scalar>
virtual RCP< const VectorSpaceFactoryBase<Scalar> > Thyra::VectorSpaceBase< Scalar >::smallVecSpcFcty (  )  const [pure virtual]

Return a VectorSpaceFactoryBase object for the creation of (usually serial) vector spaces with a small dimension.

Preconditions:

template<class Scalar>
virtual Scalar Thyra::VectorSpaceBase< Scalar >::scalarProd ( const VectorBase< Scalar > &  x,
const VectorBase< Scalar > &  y 
) const [pure virtual]

Return the scalar product of two vectors in the vector space.

Preconditions:

template<class Scalar>
void Thyra::VectorSpaceBase< Scalar >::scalarProds ( const MultiVectorBase< Scalar > &  X,
const MultiVectorBase< Scalar > &  Y,
const ArrayView< Scalar > &  scalarProds_out 
) const [inline]

Return the scalar product of each column in two multi-vectors in the vector space.

Parameters:
X [in] Multi-vector.
Y [in] Multi-vector.
scalarProds_out [out] Array (length X.domain()->dim()) containing the scalar products scalarProds_out[j] = this->scalarProds_out(*X.col(j),*Y.col(j)), for j = 0 ... X.domain()->dim()-1.
Preconditions:

Definition at line 358 of file Thyra_VectorSpaceBase_decl.hpp.

template<class Scalar>
bool Thyra::VectorSpaceBase< Scalar >::isEuclidean (  )  const [virtual]

Return if this vector space has a Euclidean (identity) basis in which case the scalar product is the same as the dot product.

The default implementation returns false (even though on average the Euclidean scalar product is used).

Definition at line 65 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
bool Thyra::VectorSpaceBase< Scalar >::hasInCoreView ( const Range1D rng = Range1D(),
const EViewType  viewType = VIEW_TYPE_DETACHED,
const EStrideType  strideType = STRIDE_TYPE_NONUNIT 
) const [virtual]

Returns true if this->acquireDetachedView(rng,...) returns a direct view of the range of data requested.

Parameters:
rng [in] The range of elements for the view (see acquireDetachedView()). The default value is Range1D() (i.e. All of the elements in the vector).
viewType [in] The type of view allowed.
strideType [in] The type of stride the view is allowed to be.
Preconditions:

There are three different questions about the behavior of the acquireDetachedView() that this query function can answer:

The default implementation returns false (i.e. by default we do not assume that any direct and/or contiguous views of any range of data are provided).

Definition at line 72 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< const VectorSpaceBase< Scalar > > Thyra::VectorSpaceBase< Scalar >::clone (  )  const [virtual]

Clone this object (if supported).

It is allowed for returnVal.get()==NULL which means that this capability is optional.

Preconditions:

The default implementation returns returnVal.get()==NULL.

Definition at line 81 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
virtual RCP< VectorBase<Scalar> > Thyra::VectorSpaceBase< Scalar >::createMember (  )  const [protected, pure virtual]

Create a vector member from the vector space.

Preconditions:

Postconditions:

Note: This function is not to be called directly since it is protected! See the Thyra_Op_Vec_createMember_grp.

Returns:
A smart reference counted pointer to a dynamically allocated vector object. After construction the values in the vector *returnVal are unspecified (uninitialized). This allows for faster execution times. Note that returnVal->space().get() == this need not be true.

template<class Scalar>
virtual RCP< MultiVectorBase<Scalar> > Thyra::VectorSpaceBase< Scalar >::createMembers ( int  numMembers  )  const [protected, pure virtual]

Create a set of vector members (a MultiVectorBase) from the vector space.

Preconditions:

Postconditions:

Returns:
A smart reference-counted pointer to a dynamically allocated multi-vector object. After construction, the values in *returnVal are unspecified (uninitialized). This allows for faster execution times. Note that returnVal->range().get()==this does not have to be true but will be in may cases.

template<class Scalar>
virtual RCP<VectorBase<Scalar> > Thyra::VectorSpaceBase< Scalar >::createMemberView ( const RTOpPack::SubVectorView< Scalar > &  raw_v  )  const [protected, pure virtual]

Create a vector member that is a non-const view of raw vector data.

Parameters:
raw_v [in] On input contains pointer (i.e. raw_v.values()) to array that the returned VectorBase will be a view of. The data pointed to by raw_v.values() must remain valid until the returned VectorBase object is destroyed.
Preconditions:

Postconditions:

It is stated here that the client can not expect that the values pointed to by raw_v.values() to be changed until the smart pointer returnVal goes out of scope. This is to allow an implementation that temporarily copies data into and out of a VectorBase object using explicit vector access.

template<class Scalar>
virtual RCP<const VectorBase<Scalar> > Thyra::VectorSpaceBase< Scalar >::createMemberView ( const RTOpPack::ConstSubVectorView< Scalar > &  raw_v  )  const [protected, pure virtual]

Create a vector member that is a const view of raw vector data.

Parameters:
raw_v [in] On input contains pointer (i.e. raw_v.values()) to array that the returned VectorBase will be a view of. The data pointed to by raw_v.values() must remain valid until the returned VectorBase object is destroyed.
This function works exactly the same as the previous version that takes a RTOpPack::SubVectorView object except that this version takes a RTOpPack::ConstSubVectorView and returns a smart pointer to a const VectorBase object.

Preconditions:

Postconditions:

template<class Scalar>
virtual RCP<MultiVectorBase<Scalar> > Thyra::VectorSpaceBase< Scalar >::createMembersView ( const RTOpPack::SubMultiVectorView< Scalar > &  raw_mv  )  const [protected, pure virtual]

Create a multi-vector member that is a non-const view of raw multi-vector data.

Parameters:
raw_mv [in] On input contains pointer (i.e. raw_mv.values()) to array that the returned MultiVectorBase will be a view of.
Preconditions:

Postconditions:

It is stated here that the client can not expect that the values pointed to by raw_mv.values() to be changed until the smart pointer returnVal goes out of scope. This is to allow for an implementation that temporarily copies data into and out of a MultiVectorBase object using explicit vector access.

template<class Scalar>
virtual RCP<const MultiVectorBase<Scalar> > Thyra::VectorSpaceBase< Scalar >::createMembersView ( const RTOpPack::ConstSubMultiVectorView< Scalar > &  raw_mv  )  const [protected, pure virtual]

Create a multi-vector member that is a const view of raw multi-vector data.

Parameters:
raw_mv [in] On input contains pointer (i.e. raw_mv.values()) to array that the returned MultiVectorBase will be a view of. The data pointed to by raw_mv.values() must remain valid until the returned MultiVectorBase object is destroyed.
This function works exactly the same as the previous version that takes a RTOpPack::SubMultiVectorView object except that this version takes a RTOpPack::ConstSubMultiVectorView object and returns a smart pointer to a const MultiVectorBase object.

Preconditions:

Postconditions:

template<class Scalar>
virtual void Thyra::VectorSpaceBase< Scalar >::scalarProdsImpl ( const MultiVectorBase< Scalar > &  X,
const MultiVectorBase< Scalar > &  Y,
const ArrayView< Scalar > &  scalarProds 
) const [protected, pure virtual]

template<class Scalar>
void Thyra::VectorSpaceBase< Scalar >::scalarProds ( const MultiVectorBase< Scalar > &  X,
const MultiVectorBase< Scalar > &  Y,
Scalar  scalarProds[] 
) const

Deprecated .

Definition at line 91 of file Thyra_VectorSpaceBase_def.hpp.


Friends And Related Function Documentation

template<class Scalar>
RCP< const VectorSpaceBase< Scalar > > makeHaveOwnership ( const RCP< const VectorSpaceBase< Scalar > > &  vs  )  [related]

Helper function that clones a VectorSpaceBase object if the RCP does not have ownership.

Definition at line 111 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< VectorBase< Scalar > > createMember ( const RCP< const VectorSpaceBase< Scalar > > &  vs,
const std::string &  label = "" 
) [related]

Create a vector member from the vector space.

Calls VectorSpaceBase::createMember() on vs but the returned VectorBase object can live past vs.

Definition at line 127 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< VectorBase< Scalar > > createMember ( const VectorSpaceBase< Scalar > &  vs,
const std::string &  label = "" 
) [related]

Calls createMember(Teuchos::rcp(&vs,false)).

Definition at line 149 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< MultiVectorBase< Scalar > > createMembers ( const RCP< const VectorSpaceBase< Scalar > > &  vs,
int  numMembers,
const std::string &  label = "" 
) [related]

Create a set of vector members (a MultiVectorBase) from the vector space.

Calls VectorSpaceBase::createMembers() on vs but the returned MultiVectorBase object can live past vs.

Definition at line 159 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< MultiVectorBase< Scalar > > createMembers ( const VectorSpaceBase< Scalar > &  vs,
int  numMembers,
const std::string &  label = "" 
) [related]

Calls createMembers(Teuchos::rcp(&vs,false),numMembers).

Definition at line 182 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< VectorBase< Scalar > > createMemberView ( const RCP< const VectorSpaceBase< Scalar > > &  vs,
const RTOpPack::SubVectorView< Scalar > &  raw_v,
const std::string &  label = "" 
) [related]

Create a vector member that is a non-const view of raw data.

Calls VectorSpaceBase::createMemberView() on vs but the returned VectorBase object can live past vs.

Definition at line 193 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< VectorBase< Scalar > > createMemberView ( const VectorSpaceBase< Scalar > &  vs,
const RTOpPack::SubVectorView< Scalar > &  raw_v,
const std::string &  label = "" 
) [related]

Calls createMemberView(Teuchos::rcp(&vs,false),raw_v).

Definition at line 210 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< const VectorBase< Scalar > > createMemberView ( const RCP< const VectorSpaceBase< Scalar > > &  vs,
const RTOpPack::ConstSubVectorView< Scalar > &  raw_v,
const std::string &  label = "" 
) [related]

Create a vector member that is a const view of raw data.

Calls VectorSpaceBase::createMemberView() on vs but the returned VectorBase object can live past vs.

Definition at line 222 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< const VectorBase< Scalar > > createMemberView ( const VectorSpaceBase< Scalar > &  vs,
const RTOpPack::ConstSubVectorView< Scalar > &  raw_v,
const std::string &  label = "" 
) [related]

Calls createMemberView(Teuchos::rcp(&vs,false),raw_v).

Definition at line 240 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< MultiVectorBase< Scalar > > createMembersView ( const RCP< const VectorSpaceBase< Scalar > > &  vs,
const RTOpPack::SubMultiVectorView< Scalar > &  raw_mv,
const std::string &  label = "" 
) [related]

Create a multi-vector member that is a non-const view of raw data.

Calls VectorSpaceBase::createMembersView() on vs but the returned MultiVectorBase object can live past vs.

Definition at line 252 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< MultiVectorBase< Scalar > > createMembersView ( const VectorSpaceBase< Scalar > &  vs,
const RTOpPack::SubMultiVectorView< Scalar > &  raw_mv,
const std::string &  label = "" 
) [related]

Calls createMembersView(Teuchos::rcp(&vs,false),raw_mv).

Definition at line 269 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< const MultiVectorBase< Scalar > > createMembersView ( const RCP< const VectorSpaceBase< Scalar > > &  vs,
const RTOpPack::ConstSubMultiVectorView< Scalar > &  raw_mv,
const std::string &  label = "" 
) [related]

Create a multi-vector member that is a const view of raw data.

Calls VectorSpaceBase::createMembersView() on vs but the returned MultiVectorBase object can live past vs.

Definition at line 281 of file Thyra_VectorSpaceBase_def.hpp.

template<class Scalar>
RCP< const MultiVectorBase< Scalar > > createMembersView ( const VectorSpaceBase< Scalar > &  vs,
const RTOpPack::ConstSubMultiVectorView< Scalar > &  raw_mv,
const std::string &  label = "" 
) [related]

Calls createMembersView(Teuchos::rcp(&vs,false),raw_mv).

Definition at line 299 of file Thyra_VectorSpaceBase_def.hpp.


The documentation for this class was generated from the following files:
Generated on Wed May 12 21:26:36 2010 for Fundamental Thyra ANA Operator/Vector Interfaces by  doxygen 1.4.7