XConstraints.XBlock (XCSP3 Java Tools 2.4 API)

java.lang.Object
- org.xcsp.parser.entries.ParsingEntry
- - org.xcsp.parser.entries.ParsingEntry.CEntry
  - - org.xcsp.parser.entries.XConstraints.XBlock

Enclosing class:: XConstraints

public static final class XConstraints.XBlock
extends ParsingEntry.CEntry

The class used for elements .

Nested Class Summary
- Nested classes/interfaces inherited from class org.xcsp.parser.entries.ParsingEntry
  ParsingEntry.AEntry, ParsingEntry.CEntry, ParsingEntry.OEntry, ParsingEntry.VEntry

Field Summary

Fields
Modifier and Type Field Description

List<ParsingEntry.CEntry> subentries
The list of elements contained in this block.
- Fields inherited from class org.xcsp.parser.entries.ParsingEntry
  attributes, classes, flags, id, note

Constructor Summary

Constructors
Constructor Description

XBlock(List<ParsingEntry.CEntry> subentries)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`LinkedHashSet<XVariables.XVar>`	`collectVars(LinkedHashSet<XVariables.XVar> set)`	Collect the set of variables involved in this element, and add them to the specified set.
`boolean`	`subjectToAbstraction()`	Returns true iff this element is subject to abstraction, i.e., contains parameters (tokens of the form %i or %...).
`String`	`toString()`

Methods inherited from class org.xcsp.parser.entries.ParsingEntry.CEntry
vars

Methods inherited from class org.xcsp.parser.entries.ParsingEntry
copyAttributesOf, getAttributeValue, getAttributeValue, getAttributeValue

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - subentries
```
public List<ParsingEntry.CEntry> subentries
```
    The list of elements contained in this block.
- Constructor Detail
  - XBlock
```
public XBlock(List<ParsingEntry.CEntry> subentries)
```
- Method Detail
  - collectVars
```
public LinkedHashSet<XVariables.XVar> collectVars(LinkedHashSet<XVariables.XVar> set)
```
    Description copied from class: ParsingEntry.CEntry
    
    Collect the set of variables involved in this element, and add them to the specified set.
    
    Specified by:
    
    collectVars in class ParsingEntry.CEntry
  - subjectToAbstraction
```
public boolean subjectToAbstraction()
```
    Description copied from class: ParsingEntry.CEntry
    
    Returns true iff this element is subject to abstraction, i.e., contains parameters (tokens of the form %i or %...).
    
    Specified by:
    
    subjectToAbstraction in class ParsingEntry.CEntry
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class ParsingEntry.CEntry