public class SolverTypeCollection extends java.lang.Object implements java.lang.Iterable<SolverType>
Modifier and Type | Field and Description |
---|---|
static SolverTypeCollection |
EMPTY_COLLECTION |
Constructor and Description |
---|
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) |
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() |
public static final SolverTypeCollection EMPTY_COLLECTION
public SolverTypeCollection(java.lang.String name, int minUsableSolvers, SolverType type, SolverType... types)
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.public SolverTypeCollection(java.lang.String name, int minUsableSolvers, java.util.Collection<SolverType> types)
name
- the name of the solverminUsableSolvers
- the min number of usable solverstypes
- the types to addpublic boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.util.LinkedList<SolverType> getTypes()
public boolean isUsable()
public java.lang.String name()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Iterator<SolverType> iterator()
iterator
in interface java.lang.Iterable<SolverType>
Copyright © 2003-2019 The KeY-Project.