Uses of Class
org.xcsp.common.structures.TableSymbolic

Packages that use TableSymbolic

Package	Description
org.xcsp.common.structures
org.xcsp.modeler.api

Uses of TableSymbolic in org.xcsp.common.structures

Methods in org.xcsp.common.structures that return TableSymbolic

Modifier and Type	Method	Description
TableSymbolic	TableSymbolic.add(String... tuple)	Adds the specified symbolic tuple to the table.
TableSymbolic	TableSymbolic.add(String[]... tuples)	Adds the specified symbolic tuples to the table.
TableSymbolic	TableSymbolic.add(java.util.stream.Stream<String[]> stream)	Adds all tuples of the specified stream to the table.
TableSymbolic	TableSymbolic.addSequence(String s)	Adds the tuples obtained after parsing the specified string.
TableSymbolic	TableSymbolic.positive(Boolean positive)

Uses of TableSymbolic in org.xcsp.modeler.api

Methods in org.xcsp.modeler.api that return TableSymbolic

Modifier and Type	Method	Description
default TableSymbolic	ProblemAPISymbolic.tableSymbolic()	Builds an empty symbolic table that can be fed with tuples.
default TableSymbolic	ProblemAPISymbolic.tableSymbolic(String tuples)	Builds a symbolic table after parsing the specified string.
default TableSymbolic	ProblemAPISymbolic.tableSymbolic(String... tuple)	Builds a symbolic table containing the specified tuple.
default TableSymbolic	ProblemAPISymbolic.tableSymbolic(String[]... tuples)	Builds a symbolic table containing the specified tuples.

Methods in org.xcsp.modeler.api with parameters of type TableSymbolic

Modifier and Type	Method	Description
default CtrEntities.CtrEntity	ProblemAPISymbolic.extension(IVar.VarSymbolic[] scp, TableSymbolic table)	Builds a symbolic constraint extension from the specified scope and the specified table, whose elements are seen as supports.