net.sf.cpsolver.ifs.util
Class PrologFile
java.lang.Object
net.sf.cpsolver.ifs.util.PrologFile
- All Implemented Interfaces:
- Iterator<PrologFile.Term>
public class PrologFile
- extends Object
- implements Iterator<PrologFile.Term>
A class for reading prolog files.
- Version:
- IFS 1.2 (Iterative Forward Search)
Copyright (C) 2006 - 2010 Tomas Muller
muller@unitime.org
http://muller.unitime.org
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 3 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 see
http://www.gnu.org/licenses/.
Nested Class Summary |
static class |
PrologFile.Term
Term -- it can contain a text and a content (set of terms) |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PrologFile
public PrologFile(String file)
throws IOException
- Throws:
IOException
readTermsFromStream
public static List<PrologFile.Term> 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,
List<PrologFile.Term> terms)
throws IOException
- Writes a set of terms.
- Throws:
IOException
hasNext
public boolean hasNext()
- Specified by:
hasNext
in interface Iterator<PrologFile.Term>
next
public PrologFile.Term next()
- Specified by:
next
in interface Iterator<PrologFile.Term>
remove
public void remove()
- Specified by:
remove
in interface Iterator<PrologFile.Term>
Copyright © 2014 UniTime LLC. All Rights Reserved.