net.sf.cpsolver.ifs.util
Class PrologFile

java.lang.Object
  net.sf.cpsolver.ifs.util.PrologFile

All Implemented Interfaces:

Iterator

public class PrologFile
extends Object
implements Iterator

A class for reading prolog files.

Version:

IFS 1.1 (Iterative Forward Search)
Copyright (C) 2006 Tomáš Müller
muller@unitime.org
Lazenska 391, 76314 Zlin, Czech Republic

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA

Nested Class Summary

static class

PrologFile.Term Term -- it can contain a text and a content (set of terms)

Constructor Summary

PrologFile(String file)

Method Summary

boolean	hasNext()
Object	next()
static Vector	readTermsFromStream(InputStream is, String term) Reads a prolog file.
void	remove()
static void	writeTerms(PrintWriter pw, Vector terms) Writes a set of terms.

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologFile

public PrologFile(String file)
           throws IOException

Throws:

IOException

Method Detail

readTermsFromStream

public static Vector readTermsFromStream(InputStream is,
                                         String term)
                                  throws IOException

Reads a prolog file. It returns a set of terms

Throws:

IOException

writeTerms

public static void writeTerms(PrintWriter pw,
                              Vector terms)
                       throws IOException

Writes a set of terms.

Throws:

IOException

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator

next

public Object next()

Specified by:

next in interface Iterator

remove

public void remove()

Specified by:

remove in interface Iterator