Package randoop.generation
Class EverythingIsDifferentMatcher
- java.lang.Object
-
- randoop.generation.EverythingIsDifferentMatcher
-
- All Implemented Interfaces:
StateMatcher
public class EverythingIsDifferentMatcher extends Object implements StateMatcher
-
-
Field Summary
Fields Modifier and Type Field Description private int
size
-
Constructor Summary
Constructors Constructor Description EverythingIsDifferentMatcher()
-
-
-
Method Detail
-
add
public boolean add(Object object)
- Specified by:
add
in interfaceStateMatcher
-
size
public int size()
- Specified by:
size
in interfaceStateMatcher
-
-