public class DefaultConstraintsCatalog extends Object implements ConstraintsCatalog
ConstraintsCatalog.| Constructor and Description |
|---|
DefaultConstraintsCatalog()
Build a new empty catalog.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
add(SatConstraintBuilder c)
Add a constraint builder to the catalog.
|
Set<String> |
getAvailableConstraints()
Get all the available constraints.
|
SatConstraintBuilder |
getConstraint(String id)
Get a placement constraints builder from its identifier.
|
static DefaultConstraintsCatalog |
newBundle()
Build a catalog with a builder for every constraints
in the current BtrPlace bundle.
|
public DefaultConstraintsCatalog()
public static DefaultConstraintsCatalog newBundle()
public boolean add(SatConstraintBuilder c)
c - the constraint to addpublic Set<String> getAvailableConstraints()
ConstraintsCataloggetAvailableConstraints in interface ConstraintsCatalogpublic SatConstraintBuilder getConstraint(String id)
ConstraintsCataloggetConstraint in interface ConstraintsCatalogid - the identifier of the constraintnull if the identifier is unknownCopyright © 2016 University of Nice-Sophia Antipolis. All Rights Reserved.