public class Quantifier extends FolExpression
Constructor and Description |
---|
Quantifier() |
Modifier and Type | Method and Description |
---|---|
Integer |
getLowerBoundary() |
Integer |
getUpperBoundary() |
boolean |
isUniversal() |
void |
setLowerBoundary(int lowerBoundary) |
void |
setUpperBoundary(int upperBoundary) |
String |
toString() |
public boolean isUniversal()
public Integer getLowerBoundary()
public void setLowerBoundary(int lowerBoundary)
lowerBoundary
- the lowerBoundary to setpublic Integer getUpperBoundary()
public void setUpperBoundary(int upperBoundary)
upperBoundary
- the upperBoundary to setpublic String toString()
toString
in class FolExpression
Copyright © 2018. All rights reserved.