DFA.java

00001 /* ----------------------------------------------------------------------------
00002  * This file was automatically generated by SWIG (http://www.swig.org).
00003  * Version 1.3.33
00004  *
00005  * Do not make changes to this file unless you know what you are doing--modify
00006  * the SWIG interface file instead.
00007  * ----------------------------------------------------------------------------- */
00008 
00009 package org.gecode;
00010 
00011 public class DFA {
00012   private long swigCPtr;
00013   protected boolean swigCMemOwn;
00014 
00015   protected DFA(long cPtr, boolean cMemoryOwn) {
00016     swigCMemOwn = cMemoryOwn;
00017     swigCPtr = cPtr;
00018   }
00019 
00020   protected static long getCPtr(DFA obj) {
00021     return (obj == null) ? 0 : obj.swigCPtr;
00022   }
00023 
00024   protected void finalize() {
00025     delete();
00026   }
00027 
00028   public synchronized void delete() {
00029     if(swigCPtr != 0 && swigCMemOwn) {
00030       swigCMemOwn = false;
00031       GecodeJNI.delete_DFA(swigCPtr);
00032     }
00033     swigCPtr = 0;
00034   }
00035  public DFA(REG r) {
00037     this(GecodeJNI.new_DFA(REG.getCPtr(r), r), true);
00038   }
00039 
00040 }