Constructor and Description |
---|
Rules(int i1,
int i2)
Creates a set of rules for
RuleStore . |
Modifier and Type | Method and Description |
---|---|
void |
addPaRules(int pid)
Add a propagator activation rule for 'pid'
|
void |
clear()
Clear this
|
boolean |
getPaRules(int pid)
Get the propagator activation rule associated with 'pid'
|
gnu.trove.set.TIntSet |
getVmRemval(int vid)
Get the removed values associated with 'vid'
|
int |
getVmRules(int vid)
Get the variable modification rule associated with 'vid'
|
boolean |
intersect(int i1,
int i2,
int vid)
Check whether an interval intersects at least one value from a given set
|
boolean |
isEmpty() |
void |
or(Rules rules)
Merge 'rules' into this
|
void |
paRulesClear(int pid)
Clear the propagator activation rule associated with 'pid'
|
boolean |
putMask(int vid,
int mask)
Update the rule mask for a given variable (denoted by its vid)
|
public boolean getPaRules(int pid)
pid
- a propagator idpublic void paRulesClear(int pid)
pid
- a propagator idpublic void addPaRules(int pid)
pid
- a propagator idpublic int getVmRules(int vid)
vid
- a variable idpublic gnu.trove.set.TIntSet getVmRemval(int vid)
vid
- the variable idpublic boolean putMask(int vid, int mask)
vid
- the index of the variablemask
- the new mask to mergepublic void clear()
public boolean intersect(int i1, int i2, int vid)
i1
- lower bound of the interval (included)i2
- upper bound of the interval (included)vid
- variable idpublic void or(Rules rules)
rules
- a set of rulespublic boolean isEmpty()
Copyright © 2018. All rights reserved.