de.uka.ilkd.key.smt

Class SolverTypeCollection

java.lang.Object

de.uka.ilkd.key.smt.SolverTypeCollection

All Implemented Interfaces:

java.lang.Iterable<SolverType>

public class SolverTypeCollection
extends java.lang.Object
implements java.lang.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 java.lang.String	name
private java.util.LinkedList<SolverType>	types

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.util.LinkedList<SolverType>	getTypes()
int	hashCode()
boolean	isUsable()
java.util.Iterator<SolverType>	iterator()
java.lang.String	name()
java.lang.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 java.util.LinkedList<SolverType> types

name

private java.lang.String name

minUsableSolver

private int minUsableSolver

hashCode

private int hashCode

Constructor Detail

SolverTypeCollection

public SolverTypeCollection(java.lang.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(java.lang.String name,
                            int minUsableSolvers,
                            java.util.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(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getTypes

public java.util.LinkedList<SolverType> getTypes()

isUsable

public boolean isUsable()

name

public java.lang.String name()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

iterator

public java.util.Iterator<SolverType> iterator()

Specified by:

iterator in interface java.lang.Iterable<SolverType>