constraintsgenerator

Class SubdueFile

java.lang.Object

constraintsgenerator.SubdueFile

public class SubdueFile
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SubdueFile(java.io.File file)

Method Summary

Modifier and Type	Method and Description
java.io.File	getFile()
void	setFile(java.io.File file)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SubdueFile

public SubdueFile(java.io.File file)

Method Detail

getFile

public java.io.File getFile()

setFile

public void setFile(java.io.File file)