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 constraintextension
from the specified scope and the specified table, whose elements are seen as supports.
-