public class OracleLocationSet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static de.uka.ilkd.key.testgen.oracle.AllLocsLocationSet |
ALL_LOCS |
static de.uka.ilkd.key.testgen.oracle.EmptyOracleLocationSet |
EMPTY |
Constructor and Description |
---|
OracleLocationSet() |
Modifier and Type | Method and Description |
---|---|
boolean |
contains(OracleLocation l) |
static OracleLocationSet |
intersect(OracleLocationSet l1,
OracleLocationSet l2) |
static OracleLocationSet |
singleton(OracleLocation loc) |
java.lang.String |
toString() |
static OracleLocationSet |
union(OracleLocationSet l1,
OracleLocationSet l2) |
public static final de.uka.ilkd.key.testgen.oracle.EmptyOracleLocationSet EMPTY
public static final de.uka.ilkd.key.testgen.oracle.AllLocsLocationSet ALL_LOCS
public static OracleLocationSet singleton(OracleLocation loc)
public static OracleLocationSet union(OracleLocationSet l1, OracleLocationSet l2)
public static OracleLocationSet intersect(OracleLocationSet l1, OracleLocationSet l2)
public boolean contains(OracleLocation l)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.