add projectedCopy
This commit is contained in:
parent
324ea1a96c
commit
d07ea73050
@ -367,6 +367,16 @@ ConstraintTree::project (const LogVarSet& X)
|
||||
|
||||
|
||||
|
||||
ConstraintTree
|
||||
ConstraintTree::projectedCopy (const LogVarSet& X)
|
||||
{
|
||||
ConstraintTree copy = *this;
|
||||
copy.project (X);
|
||||
return copy;
|
||||
}
|
||||
|
||||
|
||||
|
||||
void
|
||||
ConstraintTree::remove (const LogVarSet& X)
|
||||
{
|
||||
|
@ -157,6 +157,8 @@ class ConstraintTree
|
||||
void applySubstitution (const Substitution&);
|
||||
|
||||
void project (const LogVarSet&);
|
||||
|
||||
ConstraintTree projectedCopy (const LogVarSet&);
|
||||
|
||||
void remove (const LogVarSet&);
|
||||
|
||||
|
Reference in New Issue
Block a user