Z3
RelationSort.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
23 public class RelationSort extends Sort
24 {
28  public int getArity()
29  {
30  return Native.getRelationArity(getContext().nCtx(), getNativeObject());
31  }
32 
37  public Sort[] getColumnSorts()
38  {
39 
40  if (m_columnSorts != null)
41  return m_columnSorts;
42 
43  int n = getArity();
44  Sort[] res = new Sort[n];
45  for (int i = 0; i < n; i++)
46  res[i] = Sort.create(getContext(), Native.getRelationColumn(getContext()
47  .nCtx(), getNativeObject(), i));
48  return res;
49  }
50 
51  private Sort[] m_columnSorts = null;
52 
53  RelationSort(Context ctx, long obj)
54  {
55  super(ctx, obj);
56  }
57 }
static int getRelationArity(long a0, long a1)
Definition: Native.java:2465
static long getRelationColumn(long a0, long a1, int a2)
Definition: Native.java:2474