jp.kobe_u.sugar.csp.PowerLiteral Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jsr331-sugar Show documentation

This is a JSR331 interface for the open source Java constraint programming library "Sugar" v. 2.1.3

The newest version!

package jp.kobe_u.sugar.csp;

import java.io.IOException;
import java.util.Set;

import jp.kobe_u.sugar.SugarException;

/**
 * NOT IMPLEMENTED YET.
 * This class implements a literal for arithmetic power.
 * @see CSP
 * @author Naoyuki Tamura ([email protected])
 */
public class PowerLiteral extends Literal {

    @Override
    public Set getVariables() {
        // TODO
        return null;
    }

    @Override
    public boolean isSimple() {
        return false;
    }

    @Override
    public boolean isValid() throws SugarException {
        return false;
    }

    @Override
    public boolean isUnsatisfiable() throws SugarException {
        return false;
    }
    
    @Override
    public int propagate() {
        // TODO propagate
        return 0;
    }

    @Override
    public boolean isSatisfied() {
        // TODO isSatisfied
        return false;
    }

    @Override
    public String toString() {
        // TODO toString
        String s = "(power)";
        return s;
    }

}