public class Polyhedron extends Object
Constructor and Description |
---|
Polyhedron(UppaalSystem system) |
Modifier and Type | Method and Description |
---|---|
void |
add(int i,
int j,
int bound) |
void |
addNonStrictConstraint(int i,
int j,
int bound) |
void |
addStrictConstraint(int i,
int j,
int bound) |
boolean |
equals(Object obj) |
void |
getAllConstraints(List<String> result)
Convert constraint system to a human readable string
representation containing all non-trivial constraints.
|
void |
getSufficientConstraints(List<String> result)
Convert constraint system to a human readable representation
based on the minimal constraint graph.
|
String |
toString() |
void |
trim() |
void |
writeTextualFormat(Writer writer) |
public Polyhedron(UppaalSystem system)
public void writeTextualFormat(Writer writer) throws IOException
IOException
public void getAllConstraints(List<String> result)
public void getSufficientConstraints(List<String> result)
public void addStrictConstraint(int i, int j, int bound)
public void addNonStrictConstraint(int i, int j, int bound)
public void add(int i, int j, int bound)
public void trim()
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.