Package gprover

Class STris


  • public class STris
    extends CClass
    Constructs a SimTri object with default values.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      int[] dr  
      int no  
      int[] p1  
      int[] p2  
      int[] p3  
      int st  
    • Constructor Summary

      Constructors 
      Constructor Description
      STris()
      Constructs an STris object with default values.
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • st

        public int st
      • no

        public int no
      • dr

        public int[] dr
      • p1

        public int[] p1
      • p2

        public int[] p2
      • p3

        public int[] p3
    • Constructor Detail

      • STris

        public STris()
        Constructs an STris object with default values.