de.uka.ilkd.key.smt

Class SolverTypeCollection

java.lang.Object

de.uka.ilkd.key.smt.SolverTypeCollection

All Implemented Interfaces:

Iterable<SolverType>

public class SolverTypeCollection
extends Object
implements Iterable<SolverType>

Stores a set of solver types. This class can be used in order to encapsulate multiple solvers.

Field Summary

Fields

Modifier and Type	Field and Description
static SolverTypeCollection	EMPTY_COLLECTION
private int	hashCode
private int	minUsableSolver
private String	name
private LinkedList<SolverType>	types

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SolverTypeCollection()
	SolverTypeCollection(String name, int minUsableSolvers, Collection<SolverType> types) Instantiates a new solver type collection.
	SolverTypeCollection(String name, int minUsableSolvers, SolverType type, SolverType... types)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
LinkedList<SolverType>	getTypes()
int	hashCode()
boolean	isUsable()
Iterator<SolverType>	iterator()
String	name()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

EMPTY_COLLECTION

public static final SolverTypeCollection EMPTY_COLLECTION

types

private LinkedList<SolverType> types

name

private String name

minUsableSolver

private int minUsableSolver

hashCode

private int hashCode

Constructor Detail

SolverTypeCollection

public SolverTypeCollection(String name,
                            int minUsableSolvers,
                            SolverType type,
                            SolverType... types)

Parameters:

type - at least on solver type must be passed.

types -

minUsableSolvers - specifies how many solvers at leas must be usable, so that isUsable returns true.

SolverTypeCollection

public SolverTypeCollection(String name,
                            int minUsableSolvers,
                            Collection<SolverType> types)

Instantiates a new solver type collection.

Parameters:

name - the name of the solver

minUsableSolvers - the min number of usable solvers

types - the types to add

SolverTypeCollection

private SolverTypeCollection()

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getTypes

public LinkedList<SolverType> getTypes()

isUsable

public boolean isUsable()

name

public String name()

toString

public String toString()

Overrides:

toString in class Object

iterator

public Iterator<SolverType> iterator()

Specified by:

iterator in interface Iterable<SolverType>