public class ModifiesSetTranslator
extends java.lang.Object
Constructor and Description |
---|
ModifiesSetTranslator(Services services,
OracleGenerator gen) |
Modifier and Type | Method and Description |
---|---|
boolean |
isAllFields(Term t) |
boolean |
isAllLocs(Term t) |
boolean |
isEmpty(Term t) |
boolean |
isIntersection(Term t) |
boolean |
isSingleTon(Term t) |
boolean |
isUnion(Term t) |
OracleLocationSet |
translate(Term t) |
public ModifiesSetTranslator(Services services, OracleGenerator gen)
public boolean isSingleTon(Term t)
public boolean isUnion(Term t)
public boolean isIntersection(Term t)
public boolean isAllFields(Term t)
public boolean isAllLocs(Term t)
public boolean isEmpty(Term t)
public OracleLocationSet translate(Term t)
Copyright © 2003-2019 The KeY-Project.