public class Rule
extends Object
implements Cloneable

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`apply_variables()`
`Rule`	`clone()`
`Rule`	`convert(SymbolTable symbols)`
`static Rule`	`convert_from(Rule r, SymbolTable symbols)`
`boolean`	`equals(Object o)`
`int`	`hashCode()`
`void`	`set(String name, Term term)`
`String`	`toString()`
`io.vavr.control.Either<String,Rule>`	`validate_variables()`

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

public Rule(Predicate head,
            List<Predicate> body,
            List<Expression> expressions)

public void set(String name,
                Term term)
         throws Error.Language

public io.vavr.control.Either<String,Rule> validate_variables()

public Rule convert(SymbolTable symbols)

public static Rule convert_from(Rule r,
                                SymbolTable symbols)

Class Rule