Examples of prolog.core.Cat

prolog.core.Cat
Implements (Finite) Categories by extending a Graph to support multiple edges (seen as morphisms) between vertices (seen as a Category's Objects) as well as some basic Category theory operations. Another view of this is as ARGs - attributed relational graphs - where each vertex and each edge is seen as having a set of attributes. It can be made to extend Graph or RankedGraph. It also implements a default IFilter that selects what information makes it into an IGraph that visualises selected contentent from this Cat.

      */
    }
  }
  
  public static void drawChildren(Group G) {
    Cat C=collectChildren(G);
    //Prolog3D.pp(Cat.showInfo(C));
    Prolog3D.drawGraph(C);
  }

View Full Code Here

  public static Cat big2hcat(BigInteger B) {
    return big2hcat(get_nvars(B),B);
  }
  
  public static Cat big2hcat(int nvars,BigInteger n) {
    Cat C=new Cat();
    
    int pow=1<<nvars;
    BigInteger MAX=BigMath.one.shiftLeft(pow);
    //if(n.compareTo(MAX)>=0) return null;
    
    for(int i=0;i<nvars;i++) {
      BigInteger B=BigInteger.valueOf(i);
      //String I=B.toString();
      C.setProp(B,"v","l");
      C.setHyper(B,1);
    }
    C.setProp(n,"v","r");
    C.setHyper(n,3);
    
    addBig(C,nvars,n);
    
    return C;
  }

View Full Code Here

    float z=1-2*c;
    return new Point3f(x*r,y*r,z*r);
  } 


  public static Cat randomCat(int seed,int v0,int v,int e0,int e) {
    Cat RG=new Cat();
    RG.randomize(seed,v0+ri(v),e0+ri(e));
    return RG;
  }

View Full Code Here

    RG.randomize(seed,v0+ri(v),e0+ri(e));
    return RG;
  }
     
  public static Cat randomRanked(int seed,int v0,int v,int e0,int e,int giant,int m) {
    Cat RG=randomCat(seed,v0,v,e0,e);
    Prolog3D.pp(Cat.showInfo(RG));
    if(giant>0) RG=(Cat)RG.trimRankedGraph(giant,m);
    //if(g>0) RG=(Cat)RG.trim(g>0,m);
    return RG;
  }

View Full Code Here

0 1

TOP

Related Classes of prolog.core.Cat

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.