blog
Class BLOGParser.VarsWithConstraint

java.lang.Object
  blog.BLOGParser.VarsWithConstraint

Enclosing class:

BLOGParser

public static class BLOGParser.VarsWithConstraint
extends java.lang.Object

Nested class that specifies a list of logical variables and a formula that constrains them.

Field Summary

Formula	constraint
java.util.List<LogicalVar>	logicalVars

Constructor Summary

BLOGParser.VarsWithConstraint()

BLOGParser.VarsWithConstraint(java.util.List typedVars)

BLOGParser.VarsWithConstraint(java.util.List typedVars, Formula constraint)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

logicalVars

public java.util.List<LogicalVar> logicalVars

constraint

public Formula constraint

Constructor Detail

BLOGParser.VarsWithConstraint

public BLOGParser.VarsWithConstraint()

BLOGParser.VarsWithConstraint

public BLOGParser.VarsWithConstraint(java.util.List typedVars)

BLOGParser.VarsWithConstraint

public BLOGParser.VarsWithConstraint(java.util.List typedVars,
                                     Formula constraint)