Properties for Type OCLAny:
Attributes:
Operations:
=(OCLAny ) : Boolean
<>(OCLAny ) : Boolean
oclIsKindOf( *not avaliable* ) : Boolean
oclIsTypeOf( *not avaliable* ) : Boolean
oclAsType( *not avaliable* ) :  *not avaliable* 

Properties for Type void:
Attributes:
Operations:

Properties for Type Integer:
Attributes:
abs : Integer
- : Integer
Operations:
+(Integer ) : Integer
-(Integer ) : Integer
*(Integer ) : Integer
div(Integer ) : Integer
mod(Integer ) : Integer
max(Integer ) : Integer
min(Integer ) : Integer

Properties for Type Real:
Attributes:
abs : Real
floor : Integer
round : Integer
- : Real
Operations:
=(Real ) : Boolean
<>(Real ) : Boolean
+(Real ) : Real
-(Real ) : Real
*(Real ) : Real
/(Real ) : Real
max(Real ) : Real
min(Real ) : Real
>(Real ) : Boolean
<(Real ) : Boolean
>=(Real ) : Boolean
<=(Real ) : Boolean

Properties for Type String:
Attributes:
toUpper : String
toLower : String
size : Integer
Operations:
=(String ) : Boolean
concat(String ) : String
substring(Integer Integer ) : String

Properties for Type Boolean:
Attributes:
not : Boolean
Operations:
=(Boolean ) : Boolean
or(Boolean ) : Boolean
xor(Boolean ) : Boolean
and(Boolean ) : Boolean
implies(Boolean ) : Boolean

Properties for Type Enumeration - Literals: :
Attributes:
Operations:
=(Enumeration - Literals:  ) : Boolean
<>(Enumeration - Literals:  ) : Boolean

Properties for Type Collection(Real):
Attributes:
size : Integer
isEmpty : Boolean
notEmpty : Boolean
sum : Real
Operations:
includes(OCLAny ) : Boolean
excludes(OCLAny ) : Boolean
count(OCLAny ) : Integer
includesAll(Collection(Real) ) : Boolean
excludesAll(Collection(Real) ) : Boolean
-*- special operation (declarator possible) follows: -*-
forAll(Boolean ) : Boolean
-*- special operation (declarator possible) follows: -*-
exists(Boolean ) : Boolean
-*- special operation (declarator possible) follows: -*-
isUnique() : Boolean
-*- special operation (declarator possible) follows: -*-
sortedBy() : Sequence(Real)
-*- special operation (declarator possible) follows: -*-
iterate() :  *not avaliable* 

Properties for Type Set(void):
Attributes:
asSequence : Sequence(void)
asBag : Bag(void)
Operations:
union( *not avaliable* ) :  *not avaliable* 
union( *not avaliable* ) :  *not avaliable* 
=(Set(void) ) : Boolean
intersection(Set(void) ) : Set(void)
intersection(Bag(void) ) : Set(void)
-(Set(void) ) : Set(void)
including( *not avaliable* ) :  *not avaliable* 
excluding(void ) : Set(void)
symmetricDifference(Set(void) ) : Set(void)
-*- special operation (declarator possible) follows: -*-
select(Boolean ) : Set(void)
-*- special operation (declarator possible) follows: -*-
reject(Boolean ) : Set(void)
-*- special operation (declarator possible) follows: -*-
collect(Boolean ) :  *not avaliable* 

Properties for Type Sequence(Integer):
Attributes:
first : Integer
last : Integer
asBag : Bag(Integer)
asSet : Set(Integer)
Operations:
=(Sequence(Integer) ) : Boolean
union( *not avaliable* ) :  *not avaliable* 
append( *not avaliable* ) :  *not avaliable* 
prepend( *not avaliable* ) :  *not avaliable* 
subSequence(Integer Integer ) : Sequence(Integer)
at(Integer ) : Integer
including( *not avaliable* ) :  *not avaliable* 
excluding(Integer ) : Sequence(Integer)
-*- special operation (declarator possible) follows: -*-
select(Boolean ) : Sequence(Integer)
-*- special operation (declarator possible) follows: -*-
reject(Boolean ) : Sequence(Integer)
-*- special operation (declarator possible) follows: -*-
collect(Boolean ) :  *not avaliable* 

Properties for Type Bag(String):
Attributes:
asSequence : Sequence(String)
asSet : Set(String)
Operations:
=(Bag(String) ) : Boolean
union( *not avaliable* ) :  *not avaliable* 
union( *not avaliable* ) :  *not avaliable* 
intersection(Bag(String) ) : Bag(String)
intersection(Set(String) ) : Set(String)
including( *not avaliable* ) :  *not avaliable* 
excluding(String ) : Bag(String)
-*- special operation (declarator possible) follows: -*-
select(Boolean ) : Bag(String)
-*- special operation (declarator possible) follows: -*-
reject(Boolean ) : Bag(String)
-*- special operation (declarator possible) follows: -*-
collect(Boolean ) :  *not avaliable*