diff options
Diffstat (limited to 'examples/api/java/Relations.java')
| -rw-r--r-- | examples/api/java/Relations.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/examples/api/java/Relations.java b/examples/api/java/Relations.java index 20e27d33b..f5c5db8a7 100644 --- a/examples/api/java/Relations.java +++ b/examples/api/java/Relations.java @@ -82,7 +82,7 @@ public class Relations { // (declare-sort Person 0) Type personType = manager.mkSort("Person", 0); - vectorType vector1 = new vectorType(); + vectorType vector1 = new vectorType(manager); vector1.add(personType); // (Tuple Person) @@ -90,7 +90,7 @@ public class Relations { // (Set (Tuple Person)) SetType relationArity1 = manager.mkSetType(tupleArity1); - vectorType vector2 = new vectorType(); + vectorType vector2 = new vectorType(manager); vector2.add(personType); vector2.add(personType); // (Tuple Person Person) @@ -99,11 +99,11 @@ public class Relations { SetType relationArity2 = manager.mkSetType(tupleArity2); // empty set - EmptySet emptySet = new EmptySet(relationArity1); + EmptySet emptySet = new EmptySet(manager, relationArity1); Expr emptySetExpr = manager.mkConst(emptySet); // empty relation - EmptySet emptyRelation = new EmptySet(relationArity2); + EmptySet emptyRelation = new EmptySet(manager, relationArity2); Expr emptyRelationExpr = manager.mkConst(emptyRelation); // universe set @@ -174,7 +174,7 @@ public class Relations { Expr xxTuple = manager.mkExpr(Kind.APPLY_CONSTRUCTOR, constructor, x, x); Expr member = manager.mkExpr(Kind.MEMBER, xxTuple, ancestor); Expr notMember = manager.mkExpr(Kind.NOT, member); - vectorExpr vectorExpr = new vectorExpr(); + vectorExpr vectorExpr = new vectorExpr(manager); vectorExpr.add(x); Expr quantifiedVariables = manager.mkExpr(Kind.BOUND_VAR_LIST, x); Expr noSelfAncestor = |