Package org.bigraphs.framework.core.reactivesystem

Class InstantiationMap

java.lang.Object

org.bigraphs.framework.core.reactivesystem.InstantiationMap

public class InstantiationMap
extends Object

An instantiation map for a parametric reaction rule.

Author:

Dominik Grzelak

Method Summary

Modifier and Type	Method	Description
int	coDomainSize()
static InstantiationMap	create()	Creates an empty instantiation map.
static InstantiationMap	create(int n)	Creates an identity-like (thus, linear) instantiation map for "n"-sites-to-roots mappings.
int	domainSize()
FiniteOrdinal<Integer>	get(int from)
Map<FiniteOrdinal<Integer>,FiniteOrdinal<Integer>>	getMappings()
boolean	isIdentity()
InstantiationMap	map(int from, int to)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

create

public static InstantiationMap create()

Creates an empty instantiation map. The method calls the create(int) method with 0 as argument. The user must supply values by using map(int, int) afterwards.

Returns:

an empty instantiation map

See Also:

• create(int)

create

public static InstantiationMap create(int n)

Creates an identity-like (thus, linear) instantiation map for "n"-sites-to-roots mappings. For example, 0->0, 1->1, 2->2, etc.

Parameters:

n - number of indices of the map

Returns:

a linear instantiation map (i.e., identity map)

map

public InstantiationMap map(int from,
 int to)

get

public FiniteOrdinal<Integer> get(int from)

domainSize

public int domainSize()

coDomainSize

public int coDomainSize()

getMappings

public Map<FiniteOrdinal<Integer>,FiniteOrdinal<Integer>> getMappings()

isIdentity

public boolean isIdentity()