Sugar version 1.13 Core API Specification

jp.ac.kobe_u.cs.sugar.expression
Class Parser

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.expression.Parser

public class Parser
extends Object

The Parser class parses an input and constructs a list of expressions.

See Also:
Expression

Constructor Summary
Parser(BufferedReader reader)
          Constructs a new parser.
 
Method Summary
static void main(String[] args)
          Test main program for Parser class.
 List<Expression> parse()
          Parses the input and returns a list of expressions.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Parser

public Parser(BufferedReader reader)
Constructs a new parser.

Parameters:
reader - an input reader
Method Detail

parse

public List<Expression> parse()
                       throws IOException
Parses the input and returns a list of expressions.

Returns:
a list of expressions
Throws:
IOException

main

public static void main(String[] args)
Test main program for Parser class.

Parameters:
args - the command line arguments

Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver