public class Fact
extends Object
implements Cloneable

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Fact`	`apply_variables()`
`Fact`	`clone()`
`Fact`	`convert(SymbolTable symbols)`
`static Fact`	`convert_from(Fact f, SymbolTable symbols)`
`boolean`	`equals(Object o)`
`int`	`hashCode()`
`String`	`name()`
`Fact`	`set(String name, Term term)`
`List<Term>`	`terms()`
`String`	`toString()`
`void`	`validate()`

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

public Fact(String name,
            List<Term> terms)

public void validate()
              throws Error.Language

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

public Fact convert(SymbolTable symbols)

public static Fact convert_from(Fact f,
                                SymbolTable symbols)

Constructors
Constructor	Description
`Fact(Predicate p)`
`Fact(String name, List<Term> terms)`

Class Fact