public class Quantification extends Predicate
Constructor and Description |
---|
Quantification() |
Modifier and Type | Method and Description |
---|---|
Predicate |
getCondition() |
Quantifier |
getQuantifier() |
Variable |
getVar() |
boolean |
hasCondition() |
void |
setCondition(Predicate condition) |
void |
setQuantifier(Quantifier quantifier) |
void |
setVar(Variable var) |
String |
toString() |
public Quantifier getQuantifier()
public void setQuantifier(Quantifier quantifier)
quantifier
- the quantifier to setpublic Variable getVar()
public void setVar(Variable var)
var
- the var to setpublic Predicate getCondition()
public void setCondition(Predicate condition)
condition
- the condition to setpublic String toString()
toString
in class FolExpression
public boolean hasCondition()
Copyright © 2018. All rights reserved.