public class Predicate
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Predicate.EquationType |
Constructor and Description |
---|
Predicate(java.util.Map<org.eclipse.emf.ecore.EModelElement,java.lang.Integer> coefficients,
Predicate.EquationType type,
int rhs) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<org.eclipse.emf.ecore.EModelElement,java.lang.Integer> |
getCoefficients() |
int |
getRhs() |
Predicate.EquationType |
getType() |
public Predicate(java.util.Map<org.eclipse.emf.ecore.EModelElement,java.lang.Integer> coefficients, Predicate.EquationType type, int rhs)
public java.util.Map<org.eclipse.emf.ecore.EModelElement,java.lang.Integer> getCoefficients()
public Predicate.EquationType getType()
public int getRhs()