Modifier and Type | Class and Description |
---|---|
static class |
SExpr.Type
An enumeration of the types that an
SExpr can assume. |
Constructor and Description |
---|
SExpr(java.util.List<SExpr> children)
Create a new s-expr without atomic name (set to "")
with children and type
SExpr.Type.NONE . |
SExpr(SExpr... children)
Create a new s-expr without atomic name (set to "")
with children and type
SExpr.Type.NONE . |
SExpr(java.lang.String name)
Create a new s-expr without children of type
SExpr.Type.NONE . |
SExpr(java.lang.String name,
java.util.List<SExpr> children)
Create a new s-expr with children and type
SExpr.Type.NONE . |
SExpr(java.lang.String name,
SExpr... children)
Create a new s-expr with children and type
SExpr.Type.NONE . |
SExpr(java.lang.String name,
SExpr.Type type)
Create a new s-expr without children, but with a given type.
|
SExpr(java.lang.String name,
SExpr.Type type,
java.util.List<SExpr> children)
Create a new s-expr with children and a given type.
|
SExpr(java.lang.String name,
SExpr.Type type,
SExpr... children)
Create a new s-expr with children and a given type.
|
SExpr(java.lang.String name,
SExpr.Type type,
java.lang.String... children)
Create a new s-expr with children and a given type.
|
SExpr(java.lang.String name,
java.lang.String... children)
Create a new s-expr with children and type
SExpr.Type.NONE . |
Modifier and Type | Method and Description |
---|---|
void |
appendTo(java.lang.StringBuilder sb)
Append the SMTLIB2-representation of this object to the given string builder.
|
java.util.List<SExpr> |
getChildren() |
java.lang.String |
getName() |
SExpr.Type |
getType() |
SExpr |
map(java.util.function.Function<SExpr,SExpr> mapFunction)
Create a new
SExpr by applying a function to all children of this object. |
java.lang.String |
toString() |
public SExpr(java.lang.String name, SExpr.Type type)
name
- the non-null name of the atomtype
- the non-null type to usepublic SExpr(java.lang.String name)
SExpr.Type.NONE
.name
- the non-null name of the atompublic SExpr(java.lang.String name, SExpr.Type type, java.util.List<SExpr> children)
name
- the non-null name of the atomtype
- the non-null type to usechildren
- the list of children to use. Should not be modified elsewherepublic SExpr(java.lang.String name, java.util.List<SExpr> children)
SExpr.Type.NONE
.name
- the non-null name of the atomchildren
- the list of children to use. Should not be modified elsewherepublic SExpr(java.lang.String name, SExpr.Type type, java.lang.String... children)
SExpr
s.name
- the non-null name of the atomtype
- the non-null type to usechildren
- the list of children to use.public SExpr(java.lang.String name, java.lang.String... children)
SExpr.Type.NONE
.
The array of String children is mapped
to a list of SExpr
s.name
- the non-null name of the atomchildren
- the list of children to use.public SExpr(java.lang.String name, SExpr.Type type, SExpr... children)
name
- the non-null name of the atomtype
- the non-null type to usechildren
- the list of children to use.public SExpr(java.lang.String name, SExpr... children)
SExpr.Type.NONE
.name
- the non-null name of the atomchildren
- the list of children to use.public SExpr(SExpr... children)
SExpr.Type.NONE
.children
- the list of children to use.public SExpr(java.util.List<SExpr> children)
SExpr.Type.NONE
.children
- the list of children to use. Should not be modified elsewhere.public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getName()
public SExpr.Type getType()
public java.util.List<SExpr> getChildren()
public void appendTo(java.lang.StringBuilder sb)
public SExpr map(java.util.function.Function<SExpr,SExpr> mapFunction)
SExpr
by applying a function to all children of this object.
The atomic name is not modified, nor is the function applied in depth.mapFunction
- a non-null function to be applied to the children.Copyright © 2003-2019 The KeY-Project.