$ A C D E F G H I J M N O P R S T U V W
S
- setArity(int) - Method in class at.jku.risc.stout.nau.data.atom.FunctionSymbol
-
Sets the arity and checks whether it is consistent with the defined sorts
of the arguments.
- setBoundAtom(Atom) - Method in class at.jku.risc.stout.nau.data.atom.Abstraction
-
- setFreshEnv(FreshnessCtx) - Method in class at.jku.risc.stout.nau.data.NominalPair
-
Changes the freshness context (
FreshnessCtx) of this
nominal pair.
- setLeft(T) - Method in class at.jku.risc.stout.nau.data.Equation
-
Changes the left part of the equation.
- setName(String) - Method in class at.jku.risc.stout.nau.data.atom.Variable
-
- setNameOrigin(String) - Method in class at.jku.risc.stout.nau.data.atom.Atom
-
- setPerm(Permutation) - Method in class at.jku.risc.stout.nau.data.atom.Suspension
-
- setPrefixFreshAtom(String) - Method in class at.jku.risc.stout.nau.data.NodeFactory
-
- setPrefixFreshVar(String) - Method in class at.jku.risc.stout.nau.data.NodeFactory
-
- setRight(T) - Method in class at.jku.risc.stout.nau.data.Equation
-
Changes the right part of the equation.
- setSort(Sort) - Method in class at.jku.risc.stout.nau.data.atom.Abstraction
-
- setSort(Sort) - Method in class at.jku.risc.stout.nau.data.atom.Atom
-
- setSort(Sort) - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication
-
- setSort(SortData) - Method in class at.jku.risc.stout.nau.data.atom.FunctionSymbol
-
- setSort(T) - Method in interface at.jku.risc.stout.nau.data.atom.HasSort
-
- setSort(Sort) - Method in class at.jku.risc.stout.nau.data.atom.Suspension
-
- setSort(Sort) - Method in class at.jku.risc.stout.nau.data.atom.Variable
-
- setSortArgs(Sort[]) - Method in class at.jku.risc.stout.nau.data.atom.FunctionSymbol
-
Defines the sorts of the arguments and checks whether it is consistent
with the defined arity.
- setSubTerm(NominalTerm) - Method in class at.jku.risc.stout.nau.data.atom.Abstraction
-
- setSuffixFreshAtom(String) - Method in class at.jku.risc.stout.nau.data.NodeFactory
-
- setSuffixFreshVar(String) - Method in class at.jku.risc.stout.nau.data.NodeFactory
-
- setTerm(NominalTerm) - Method in class at.jku.risc.stout.nau.data.NominalPair
-
Changes the nominal term (
NominalTerm) of this nominal pair.
- setVar(Variable) - Method in class at.jku.risc.stout.nau.data.atom.Suspension
-
- SIGMA_END - Static variable in class at.jku.risc.stout.nau.algo.Substitution
-
Default = "} "
- SIGMA_MAPTO - Static variable in class at.jku.risc.stout.nau.algo.Substitution
-
Default = " -> "
- SIGMA_START - Static variable in class at.jku.risc.stout.nau.algo.Substitution
-
Default = "{"
- size() - Method in class at.jku.risc.stout.nau.data.EquationSystem
-
Returns the number of equations in this system.
- Sort - Class in at.jku.risc.stout.nau.data.atom
-
The super class for the different sets of sorts (e.g.
- Sort(String) - Constructor for class at.jku.risc.stout.nau.data.atom.Sort
-
Instantiates a type of the specified name.
- SortAtom - Class in at.jku.risc.stout.nau.data.atom
-
A sort of atom.
- SortAtom(String) - Constructor for class at.jku.risc.stout.nau.data.atom.SortAtom
-
- SortData - Class in at.jku.risc.stout.nau.data.atom
-
A sort of data.
- SortData(String) - Constructor for class at.jku.risc.stout.nau.data.atom.SortData
-
- start(Collection<? extends Atom>, FreshnessCtx) - Method in class at.jku.risc.stout.nau.algo.EquivarianceSystem
-
Initializes the permutation computation.
- substitute(Variable, NominalTerm) - Method in class at.jku.risc.stout.nau.data.atom.Abstraction
-
- substitute(Variable, NominalTerm) - Method in class at.jku.risc.stout.nau.data.atom.Atom
-
- substitute(Variable, NominalTerm) - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication
-
- substitute(Variable, NominalTerm) - Method in class at.jku.risc.stout.nau.data.atom.NominalTerm
-
- substitute(Variable, NominalTerm) - Method in class at.jku.risc.stout.nau.data.atom.Suspension
-
- substitute(Variable, NominalTerm) - Method in class at.jku.risc.stout.nau.data.FreshnessCtx
-
- substitute(Variable, NominalTerm) - Method in class at.jku.risc.stout.nau.data.NominalPair
-
Applies a substitution to the nominal pair.
- Substitution - Class in at.jku.risc.stout.nau.algo
-
This class represents a substitution, which is a mapping from variables to
nominal terms.
- Substitution() - Constructor for class at.jku.risc.stout.nau.algo.Substitution
-
- Suspension - Class in at.jku.risc.stout.nau.data.atom
-
- Suspension(Variable) - Constructor for class at.jku.risc.stout.nau.data.atom.Suspension
-
Instantiates a new suspension with an empty
Permutation.
- Suspension(Variable, Permutation) - Constructor for class at.jku.risc.stout.nau.data.atom.Suspension
-
Instantiates a new suspension with the given
Permutation.
- swap(Atom, Atom) - Method in class at.jku.risc.stout.nau.data.atom.Abstraction
-
- swap(Atom, Atom) - Method in class at.jku.risc.stout.nau.data.atom.Atom
-
- swap(Atom, Atom) - Method in class at.jku.risc.stout.nau.data.atom.FunctionApplication
-
- swap(Atom, Atom) - Method in class at.jku.risc.stout.nau.data.atom.NominalTerm
-
- swap(Atom, Atom) - Method in class at.jku.risc.stout.nau.data.atom.Suspension
-
- swap(Atom, Atom) - Method in class at.jku.risc.stout.nau.data.FreshnessCtx
-
Creates a new freshness context with swapped atoms.
- swap(Atom, Atom) - Method in class at.jku.risc.stout.nau.data.NominalPair
-
Applies a swapping to this nominal pair.
$ A C D E F G H I J M N O P R S T U V W
