Uses of Class
net.sf.tweety.logics.commons.syntax.Constant

Packages that use Constant

Package	Description
net.sf.tweety.logics.commons.syntax

Uses of Constant in net.sf.tweety.logics.commons.syntax

Methods in net.sf.tweety.logics.commons.syntax that return Constant

Modifier and Type	Method and Description
Constant	Constant.clone()

Method parameters in net.sf.tweety.logics.commons.syntax with type arguments of type Constant

Modifier and Type	Method and Description
Set<RelationalFormula>	RelationalFormula.allGroundInstances(Set<Constant> constants) Computes all ground instances of this relational formula wrt.

Constructors in net.sf.tweety.logics.commons.syntax with parameters of type Constant

Constructor and Description
Constant(Constant other) Copy-Ctor: Creates a deep copy of the given Constant

Constructor parameters in net.sf.tweety.logics.commons.syntax with type arguments of type Constant

Constructor and Description
Sort(String name, Set<Constant> constants) Ctor: Creates a Sort with the given name and the given constants.