Examples of TupleSet

kodkod.instance.TupleSet
Represents a set of {@link kodkod.instance.Tuple tuples}of a given arity, constructed over a given {@link kodkod.instance.Universe universe}. All polymorphic methods throw a ClassCastException when passed an element that is not a Tuple. All methods throw a NullPointerException when passed null. The iterator of a TupleSet returns tuples in the order of their {@link kodkod.instance.Tuple#index() indeces}. @specfield tuples: set Tuple @specfield universe: Universe @specfield arity: int @invariant tuples.arity = arity && tuples.universe = universe @author Emina Torlak
prefuse.data.tuple.TupleSet
rg">jeffrey heer @see prefuse.data.Tuple

Examples of kodkod.instance.TupleSet

    BooleanMatrix matrixBound = upperBound(skolemDecl.expression(), skolemEnv);
    for(int i = depth-1; i >= 0; i--) {
      matrixBound = nonSkolems.get(i).upperBound.cross(matrixBound);
    }


    final TupleSet skolemBound = bounds.universe().factory().setOf(arity, matrixBound.denseIndices());
    bounds.bound(skolem, skolemBound);


    return skolemExpr;
  }

View Full Code Here

Examples of kodkod.instance.TupleSet

  
    final Map<IntSet, IntSet> range2domain = new HashMap<IntSet, IntSet>((usize*2) / 3);
    
    // refine the partitions based on the bounds for each integer
    for(IntIterator iter = bounds.ints().iterator(); iter.hasNext();) {
      TupleSet exact = bounds.exactBound(iter.next());
      refinePartitions(exact.indexView(), 1, range2domain);
    }
    
    // refine the partitions based on the upper/lower bounds for each relation
    for(TupleSet s : sort(bounds)) {
      if (parts.size()==usize) return;

View Full Code Here

Examples of prefuse.data.tuple.TupleSet

        // the PolarLocationAnimator should read this set and act accordingly
        m_vis.addFocusGroup(linear, new DefaultTupleSet());
        m_vis.getGroup(Visualization.FOCUS_ITEMS).addTupleSetListener(
            new TupleSetListener() {
                public void tupleSetChanged(TupleSet t, Tuple[] add, Tuple[] rem) {
                    TupleSet linearInterp = m_vis.getGroup(linear);
                    if ( add.length < 1 ) return; linearInterp.clear();
                    for ( Node n = (Node)add[0]; n!=null; n=n.getParent() )
                        linearInterp.addTuple(n);
                }
            }
        );
        
        //==== Create a highlight group for adding borders based on citation count

View Full Code Here

Examples of prefuse.data.tuple.TupleSet

        public TreeRootAction(String graphGroup) {
            super(graphGroup);
        }
        public void run(double frac) {
            
            TupleSet focus = m_vis.getGroup(Visualization.FOCUS_ITEMS);
            if ( focus==null || focus.getTupleCount() == 0 ) return;
            
            Graph g = (Graph)m_vis.getGroup(m_group);
            Node f = null;
            Iterator tuples = focus.tuples();
            while (tuples.hasNext() && !g.containsTuple(f=(Node)tuples.next()))
            {
                f = null;
            }
            if ( f == null ) return;

View Full Code Here

Examples of prefuse.data.tuple.TupleSet

        public NodeSpreadAction(String group) {
            super(group);
        }
        public void run(double frac)
        {
            TupleSet allNodes = m_vis.getGroup(treeNodes);
            Iterator it = allNodes.tuples();
            int mover = 1;
            while(it.hasNext())
            {
                //=== Get the node's tuple
                Tuple node = (Node)it.next();

View Full Code Here

Examples of prefuse.data.tuple.TupleSet

            {
                stackedLayout.zoom( depth );
                relayout = true;
            }


            TupleSet ts = m_vis.getFocusGroup( Visualization.FOCUS_ITEMS );
            ts.setTuple( item );
            if( relayout )
            {
                run();
            }
            else

View Full Code Here

Examples of prefuse.data.tuple.TupleSet

            {
                y = 0;
            }
            pan( x, y );


            TupleSet ts = m_vis.getFocusGroup( Visualization.FOCUS_ITEMS );
            if( ts.getTupleCount() != 0 )
            {
                // get the first selected item and pan center it
                VisualItem vi = (VisualItem) ts.tuples().next();


                //update scrollbar position
                if( container instanceof JViewport )
                {
                    // TODO there is a bug on Swing scrollRectToVisible

View Full Code Here

Examples of prefuse.data.tuple.TupleSet

            }
        }


        if( item != null )
        {
            TupleSet ts = m_vis.getFocusGroup( Visualization.FOCUS_ITEMS );
            ts.setTuple( item );
            m_vis.run( FILTER_ACTION );
        }
    }

View Full Code Here

Examples of prefuse.data.tuple.TupleSet

        private final int m_bias = 150;


        @Override
        public void run( double frac )
        {
            TupleSet ts = m_vis.getFocusGroup( Visualization.FOCUS_ITEMS );
            if( ts.getTupleCount() == 0 )
            {
                return;
            }


            if( frac == 0.0 )
            {
                int xbias, ybias = 0;


                xbias = m_bias;
                switch( orientation )
                {
                    case Constants.ORIENT_LEFT_RIGHT:


                        break;
                    case Constants.ORIENT_RIGHT_LEFT:
                        xbias = -m_bias;
                        break;
                    case Constants.ORIENT_TOP_BOTTOM:
                        ybias = m_bias;
                        break;
                    case Constants.ORIENT_BOTTOM_TOP:
                        ybias = -m_bias;
                        break;
                }


                VisualItem vi = (VisualItem) ts.tuples().next();
                m_cur.setLocation( getWidth() / 2, getHeight() / 2 );
                getAbsoluteCoordinate( m_cur, m_start );
                m_end.setLocation( vi.getX() + xbias, vi.getY() + ybias );
            }
            else

View Full Code Here

Examples of prefuse.data.tuple.TupleSet

            VisualItem item = (VisualItem)items.next();
            item.setDOI(Constants.MINIMUM_DOI);
        }
        
        // set up the graph traversal
        TupleSet src = m_vis.getGroup(m_sources);
        Iterator srcs = new FilterIterator(src.tuples(), m_groupP);
        m_bfs.init(srcs, m_distance, Constants.NODE_AND_EDGE_TRAVERSAL);
        
        // traverse the graph
        while ( m_bfs.hasNext() ) {
            VisualItem item = (VisualItem)m_bfs.next();

View Full Code Here

0 1 2 3 4 5

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.