de.uka.ilkd.key.smt.model

Class LocationSet

java.lang.Object

de.uka.ilkd.key.smt.model.LocationSet

public class LocationSet
extends Object

A LocationSet represents a location set in an SMT model.

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
private List<Location>	locations The locations contained in the location set.
private String	name The name of the location set.

Constructor Summary

Constructors

Constructor and Description
LocationSet(String name)

Method Summary

Modifier and Type	Method and Description
boolean	add(Location e)
boolean	equals(Object o) Location sets with equal names are equal.
Location	get(int index)
List<Location>	getLocations()
String	getName()
void	setLocations(List<Location> locations)
void	setName(String name)
int	size()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

private String name

The name of the location set.

locations

private List<Location> locations

The locations contained in the location set.

Constructor Detail

LocationSet

public LocationSet(String name)

Method Detail

getName

public String getName()

setName

public void setName(String name)

size

public int size()

getLocations

public List<Location> getLocations()

setLocations

public void setLocations(List<Location> locations)

add

public boolean add(Location e)

get

public Location get(int index)

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Location sets with equal names are equal.

Overrides:

equals in class Object